proof-general/phox/.cvsignore, branch master
Emacs plugins for proof management systems
phox is back
2017-09-21T22:28:27+00:00
Christophe Raffalli
2017-09-21T22:28:27+00:00
06d72fb68fd9dd57632650f1a79de01317a6069f
*** empty log message ***
2005-07-05T11:51:50+00:00
Christophe Raffalli
2005-07-05T11:51:50+00:00
a1d95abe979ddc8bb7e5f3cd6cde9840fcf77932
*** empty log message ***
2002-01-17T16:17:34+00:00
Christophe Raffalli
2002-01-17T16:17:34+00:00
239cdb1af24c5237121adcf9b62c690b3453351d