proof-general/x-symbol/lisp/Makefile, branch master Emacs plugins for proof management systems Merge changes from Version4Branch. 2008-07-24T09:51:53+00:00 David Aspinall 2008-07-24T09:51:53+00:00 76d6b0b2b1f039549d308a0d2c478a6b05869af9 






Add -q to stop site packages loading during compile
2004-02-29T23:58:43+00:00

David Aspinall

2004-02-29T23:58:43+00:00

c093011b9c0e6025125a9a3b5aecc4fa0c9fe76f












New files.
2003-03-03T20:42:48+00:00

David Aspinall

2003-03-03T20:42:48+00:00

73aeaa79c65c046c174e53b89fa2ca83a5debee5












Deleting
2003-02-22T17:52:27+00:00

David Aspinall

2003-02-22T17:52:27+00:00

4e56eb3d0192aedfaa124d3faff5fc66910af9f7












Initial revision
2002-04-16T13:38:30+00:00

David Aspinall

2002-04-16T13:38:30+00:00

37850d4b28428f87af3325637dada54ad2f94e11