proof-general/etc/isar/multiple, branch master Emacs plugins for proof management systems Remove semis 2011-01-25T20:31:13+00:00 David Aspinall 2011-01-25T20:31:13+00:00 cdb10f1498051c9fd4a81c7cb21f8668886ea008 






Merge changes from Version4Branch.
2008-07-24T09:51:53+00:00

David Aspinall

2008-07-24T09:51:53+00:00

76d6b0b2b1f039549d308a0d2c478a6b05869af9












New files.
2008-07-19T16:09:36+00:00

David Aspinall

2008-07-19T16:09:36+00:00

2d36a06815bcb1868805cf7f03d2573e5ab406ab












Update for new syntax
2008-07-19T16:09:27+00:00

David Aspinall

2008-07-19T16:09:27+00:00

acc66a4c5e2c75510b8c75b9e11f714300950e07












Change to new Isabelle syntax
2006-07-26T13:42:35+00:00

David Aspinall

2006-07-26T13:42:35+00:00

51c70ccb7627a871fe7f73632b57a4ca68575f4d












Added tag to force Isar mode
2000-06-27T15:26:44+00:00

David Aspinall

2000-06-27T15:26:44+00:00

6b5452404d269f849f41477737a3e8adc22cfed9












Test files for multiple file handling with Isabelle/Isar;
1999-07-29T20:20:26+00:00

Makarius Wenzel

1999-07-29T20:20:26+00:00

21270199c9137cc836247d6d219e9ef84e4e14cd