Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add big Integral | 2011-12-27 | |
* | updated tests to Isabelle2011-1; | 2011-09-28 | |
* | Clean up a little bit, adding extra syntax to make buffer process fully. | 2011-09-19 | |
* | some local buffer properties; | 2011-09-04 | |
* | Remove semis | 2011-01-25 | |
* | updated theory headers; | 2011-01-23 | |
* | declare trace_simp in Isar, not ML; | 2010-08-20 | |
* | Update ML (but still doesn't work: how to turn on tracing in ML?) | 2010-08-19 | |
* | Update link to STIX fonts | 2010-08-19 | |
* | Clarify behaviour of copy-paste for token variants: it works fine in PG | 2010-08-19 | |
* | Minor rearrange | 2010-08-18 | |
* | Updated with recent figures from Mac OS X. | 2010-08-18 | |
* | Clean flag settings for profiling. Add AHundredProofs. | 2010-08-18 | |
* | Elisp timing | 2010-08-15 | |
* | Fix theory name | 2010-08-03 | |
* | Isabelle syntax update | 2010-06-28 | |
* | Isabelle syntax update | 2010-06-28 | |
* | New files | 2009-12-04 | |
* | Update token list adding fraktur characters. | 2009-12-01 | |
* | Added spanning identifier supers/subs | 2009-12-01 | |
* | Add some examples of longer subscripts | 2009-12-01 | |
* | Add some more examples and syntax declarations to actually | 2009-12-01 | |
* | *** empty log message *** | 2009-09-20 | |
* | *** empty log message *** | 2009-09-20 | |
* | Update temp list | 2009-09-11 | |
* | Clean whitespace | 2009-09-05 | |
* | some results | 2009-09-04 | |
* | some profiling records | 2009-09-04 | |
* | Add Elisp timings | 2009-09-04 | |
* | Timing | 2009-09-04 | |
* | fixed theory name; | 2009-09-04 | |
* | Add timing messages | 2009-09-04 | |
* | Add Emacs 23 warning. | 2009-08-31 | |
* | Pointer to Stix fonts | 2009-08-31 | |
* | Tokenize | 2009-08-31 | |
* | Attribution | 2009-08-31 | |
* | Add more commentary and new control examples | 2009-08-28 | |
* | Updated. | 2009-08-28 | |
* | Attempt to duplicate Dixon bug | 2009-08-28 | |
* | Temporary note of property merging problems | 2009-08-28 | |
* | Property merging now works with tweaks in unicode-tokens | 2009-08-28 | |
* | Update some examples | 2009-08-17 | |
* | *** empty log message *** | 2009-05-26 | |
* | Test case for #266 | 2009-05-26 | |
* | Revise example for Isabelle 2009, showing use of two commands on a line. | 2009-05-26 | |
* | Updated. | 2008-08-03 | |
* | Merge changes from Version4Branch. | 2008-07-24 | |
* | New files. | 2008-07-19 | |
* | Update for new syntax | 2008-07-19 | |
* | New files. | 2008-07-10 |