proof-general/lclam/README, branch master
Emacs plugins for proof management systems
Deleted file
2010-08-25T15:06:03+00:00
David Aspinall
2010-08-25T15:06:03+00:00
02bb1c8598c540f4166f3c3f0f88c88df541c2dc
Update docs
2009-09-28T08:35:08+00:00
David Aspinall
2009-09-28T08:35:08+00:00
228d8c8b9ec1d4a5a8616080c10cbaf23e0c18c4
New files.
2002-09-04T17:04:02+00:00
David Aspinall
2002-09-04T17:04:02+00:00
457d2f8017e06e089425d4106e1dc51b7a3d029c