affd8f0 Changed parser to coq-parser to avoid name conflict with coda-client.

Authored and Committed by amdunn 15 years ago
    Changed parser to coq-parser to avoid name conflict with coda-client.
    
        
file modified
+22 -8
file modified
+1 -0
file added
+24