44b3085 Changed name of parser binary to coq-parser.

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