proof-general/etc/isar, branch master

proof-general/etc/isar, branch master Emacs plugins for proof management systems Remove mmm and ML4PG contribs and remove references to them in code and docs 2017-05-24T15:14:51+00:00 Paul Steckler 2017-05-24T15:14:51+00:00 c9e9c691c353d5d4835551de8d7d1f4c0ec74b9f

Change default Unicode Tokens font back to DejaVU Sans, more reliable without installing STIX. 2012-04-30T13:17:14+00:00 David Aspinall 2012-04-30T13:17:14+00:00 72eeead8935ddf733022b2427c2cf2797126f570

Add big Integral 2011-12-27T13:16:22+00:00 David Aspinall 2011-12-27T13:16:22+00:00 3cc293070ea306d3b9dc5c007267c5a8ad3c860e

updated tests to Isabelle2011-1; 2011-09-28T09:35:01+00:00 Makarius Wenzel 2011-09-28T09:35:01+00:00 75a9e6fa64913e49e55557a6db1b50e8dbc7d25f

Clean up a little bit, adding extra syntax to make buffer process fully. 2011-09-19T11:53:55+00:00 David Aspinall 2011-09-19T11:53:55+00:00 9697d2f0dc4d223df13a339c08cdd619a2821908

some local buffer properties; 2011-09-04T15:40:41+00:00 Makarius Wenzel 2011-09-04T15:40:41+00:00 6b001acf18f1d931502484a4d85b6820afe91375

Remove semis 2011-01-25T20:31:13+00:00 David Aspinall 2011-01-25T20:31:13+00:00 cdb10f1498051c9fd4a81c7cb21f8668886ea008

updated theory headers; 2011-01-23T15:21:58+00:00 Makarius Wenzel 2011-01-23T15:21:58+00:00 15fa4ae0b6c7527ea65bc2c0116fd1564f78df9c

declare trace_simp in Isar, not ML; 2010-08-20T11:21:59+00:00 Makarius Wenzel 2010-08-20T11:21:59+00:00 e03cc0ba6b2a93341f7c59a7cbf6a61ef6a21788

Update ML (but still doesn't work: how to turn on tracing in ML?) 2010-08-19T10:02:53+00:00 David Aspinall 2010-08-19T10:02:53+00:00 45a8299de5d20a6ab0d8ffb817d8a6c818067eaa