Vlhug-3.cs.utexas.edu.omcpV|{33v jhpF@@а@@,Omake_ir_ast)or@@@@а@)OMakefile&,$A@Bqа @2venv_include_scopeϏ@@@@@$ruleW4%falseA@AFA@AF&.PHONY@BmBqAHBqAHBq Aall clean status clisp cmucl gcl-cltl1 openmcl sbcl test@"A)@)empty-map H:@@(@@@*DADN'/DADI2DADI(.DEFAULT@6DKDN#allA@@@@@FAFP=5EFAFIHFAFI(.SUBDIRS@LFOFPOFKFPRFKFP%ACL2 @A4@@@@ZHAHEWO_HAHD#allcHDHE AF@@@@lJAJGiaqJAJF%cleanuJFJG AX@~KDKKKDKKLHL[@1standard_cleaning#@@@@@@NANHNANG&statusNGNH Av@ODOKODOKPHSjPHP^6svn status | egrep -v PP h.(out|cert|tex|omc|work|proof|fasl|fas|mem|lib|dfsl|boot|proofs|x86f|core|image|lx64fsl|body|tem|mtime)$@PQ` | egrep -v QQΠ (modified-acl2|uptodate-acl2|omakedb|milawa-openmcl|milawa-cmucl|milawa-sbcl|milawa-gcl-cltl1|milawa-clisp|bootstrap-acl2|bootstrap-acl2.openmcl|symmetry|symmetry.openmcl)@QR` | egrep -v RvRw4Up-To-Date/.*\.lisp$@RwSW7 || echo SWSjbSXSi1Nothing to report@@@@@@@@