d80a848 Changed parser binary name to coq-parser.

Authored and Committed by amdunn 15 years ago
    Changed parser binary name to coq-parser.
    
        
file modified
+20 -8
file modified
+1 -0
file added
+24