aboutsummaryrefslogtreecommitdiff
path: root/etc/isar
AgeCommit message (Collapse)Author
2017-05-24Remove mmm and ML4PG contribs and remove references to them in code and docsPaul Steckler
2012-04-30Change default Unicode Tokens font back to DejaVU Sans, more reliable ↵David Aspinall
without installing STIX.
2011-12-27Add big IntegralDavid Aspinall
2011-09-28updated tests to Isabelle2011-1;Makarius Wenzel
2011-09-19Clean up a little bit, adding extra syntax to make buffer process fully.David Aspinall
2011-09-04some local buffer properties;Makarius Wenzel
2011-01-25Remove semisDavid Aspinall
2011-01-23updated theory headers;Makarius Wenzel
2010-08-20declare trace_simp in Isar, not ML;Makarius Wenzel
2010-08-19Update ML (but still doesn't work: how to turn on tracing in ML?)David Aspinall
2010-08-19Update link to STIX fontsDavid Aspinall
2010-08-19Clarify behaviour of copy-paste for token variants: it works fine in PGDavid Aspinall
2010-08-18Minor rearrangeDavid Aspinall
2010-08-18Updated with recent figures from Mac OS X.David Aspinall
2010-08-18Clean flag settings for profiling. Add AHundredProofs.David Aspinall
2010-08-15Elisp timingDavid Aspinall
2010-08-03Fix theory nameDavid Aspinall
2010-06-28Isabelle syntax updateDavid Aspinall
2010-06-28Isabelle syntax updateDavid Aspinall
2009-12-04New filesDavid Aspinall
2009-12-01Update token list adding fraktur characters.David Aspinall
2009-12-01Added spanning identifier supers/subsDavid Aspinall
2009-12-01Add some examples of longer subscriptsDavid Aspinall
2009-12-01Add some more examples and syntax declarations to actuallyDavid Aspinall
process the file.
2009-09-20*** empty log message ***David Aspinall
2009-09-20*** empty log message ***David Aspinall
2009-09-11Update temp listDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04some resultsDavid Aspinall
2009-09-04some profiling recordsDavid Aspinall
2009-09-04Add Elisp timingsDavid Aspinall
2009-09-04TimingDavid Aspinall
2009-09-04fixed theory name;Makarius Wenzel
2009-09-04Add timing messagesDavid Aspinall
2009-08-31Add Emacs 23 warning.David Aspinall
2009-08-31Pointer to Stix fontsDavid Aspinall
2009-08-31TokenizeDavid Aspinall
2009-08-31AttributionDavid Aspinall
2009-08-28Add more commentary and new control examplesDavid Aspinall
2009-08-28Updated.David Aspinall
2009-08-28Attempt to duplicate Dixon bugDavid Aspinall
2009-08-28Temporary note of property merging problemsDavid Aspinall
2009-08-28Property merging now works with tweaks in unicode-tokensDavid Aspinall
2009-08-17Update some examplesDavid Aspinall
2009-05-26*** empty log message ***David Aspinall
2009-05-26Test case for #266David Aspinall
2009-05-26Revise example for Isabelle 2009, showing use of two commands on a line.David Aspinall
2008-08-03Updated.David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-19New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:24:57 +0000