aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isar
Commit message (Collapse)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 ↵Gravatar David Aspinall2012-04-30
| | | | without installing STIX.
* 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
| | | | process the file.
* *** 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-18 06:29:31 +0000