aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isar
Commit message (Expand)AuthorAge
* Remove mmm and ML4PG contribs and remove references to them in code and docsGravatar Paul Steckler2017-05-24
* Change default Unicode Tokens font back to DejaVU Sans, more reliable without...Gravatar David Aspinall2012-04-30
* Add big IntegralGravatar David Aspinall2011-12-27
* updated tests to Isabelle2011-1;Gravatar Makarius Wenzel2011-09-28
* Clean up a little bit, adding extra syntax to make buffer process fully.Gravatar David Aspinall2011-09-19
* some local buffer properties;Gravatar Makarius Wenzel2011-09-04
* Remove semisGravatar David Aspinall2011-01-25
* updated theory headers;Gravatar Makarius Wenzel2011-01-23
* declare trace_simp in Isar, not ML;Gravatar Makarius Wenzel2010-08-20
* Update ML (but still doesn't work: how to turn on tracing in ML?)Gravatar David Aspinall2010-08-19
* Update link to STIX fontsGravatar David Aspinall2010-08-19
* Clarify behaviour of copy-paste for token variants: it works fine in PGGravatar David Aspinall2010-08-19
* Minor rearrangeGravatar David Aspinall2010-08-18
* Updated with recent figures from Mac OS X.Gravatar David Aspinall2010-08-18
* Clean flag settings for profiling. Add AHundredProofs.Gravatar David Aspinall2010-08-18
* Elisp timingGravatar David Aspinall2010-08-15
* Fix theory nameGravatar David Aspinall2010-08-03
* Isabelle syntax updateGravatar David Aspinall2010-06-28
* Isabelle syntax updateGravatar David Aspinall2010-06-28
* New filesGravatar David Aspinall2009-12-04
* Update token list adding fraktur characters.Gravatar David Aspinall2009-12-01
* Added spanning identifier supers/subsGravatar David Aspinall2009-12-01
* Add some examples of longer subscriptsGravatar David Aspinall2009-12-01
* Add some more examples and syntax declarations to actuallyGravatar David Aspinall2009-12-01
* *** empty log message ***Gravatar David Aspinall2009-09-20
* *** empty log message ***Gravatar David Aspinall2009-09-20
* Update temp listGravatar David Aspinall2009-09-11
* Clean whitespaceGravatar David Aspinall2009-09-05
* some resultsGravatar David Aspinall2009-09-04
* some profiling recordsGravatar David Aspinall2009-09-04
* Add Elisp timingsGravatar David Aspinall2009-09-04
* TimingGravatar David Aspinall2009-09-04
* fixed theory name;Gravatar Makarius Wenzel2009-09-04
* Add timing messagesGravatar David Aspinall2009-09-04
* Add Emacs 23 warning.Gravatar David Aspinall2009-08-31
* Pointer to Stix fontsGravatar David Aspinall2009-08-31
* TokenizeGravatar David Aspinall2009-08-31
* AttributionGravatar David Aspinall2009-08-31
* Add more commentary and new control examplesGravatar David Aspinall2009-08-28
* Updated.Gravatar David Aspinall2009-08-28
* Attempt to duplicate Dixon bugGravatar David Aspinall2009-08-28
* Temporary note of property merging problemsGravatar David Aspinall2009-08-28
* Property merging now works with tweaks in unicode-tokensGravatar David Aspinall2009-08-28
* Update some examplesGravatar David Aspinall2009-08-17
* *** empty log message ***Gravatar David Aspinall2009-05-26
* Test case for #266Gravatar David Aspinall2009-05-26
* Revise example for Isabelle 2009, showing use of two commands on a line.Gravatar David Aspinall2009-05-26
* Updated.Gravatar David Aspinall2008-08-03
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* New files.Gravatar David Aspinall2008-07-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 11:32:35 +0000