aboutsummaryrefslogtreecommitdiff
path: root/etc/isar
AgeCommit message (Expand)Author
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
2008-07-19Update for new syntaxDavid Aspinall
2008-07-10New files.David Aspinall
2008-01-31Remove semi-colons. Literal commands triggered in response bufferDavid Aspinall
2008-01-29New files.David Aspinall
2008-01-29Updated.David Aspinall
2008-01-29New files.David Aspinall
2008-01-15Updated.David Aspinall
2007-12-14Updated.David Aspinall
2007-12-14New files.David Aspinall
2007-12-09New files.David Aspinall
2007-08-20proper use of ProofGeneral.sendback;Makarius Wenzel
2007-08-19Test ProofGeneral.sendbackDavid Aspinall
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2007-01-03Demonstrate faulty error reporting. Somewhat obscure, unless someDavid Aspinall
2006-07-26Change to new Isabelle syntaxDavid Aspinall
2005-09-14tuned comment;Makarius Wenzel
2005-09-01example output;Makarius Wenzel
2005-09-01added lemma;Makarius Wenzel
2005-09-01example theory involving unicode characters (utf-8 encoding);Makarius Wenzel
2004-08-10New files.David Aspinall
2004-06-22Update email msgDavid Aspinall
2004-06-22Include bug report and observation about GNU EmacsDavid Aspinall
2004-06-22Test case for nesting too deep for parser errorDavid Aspinall
2004-06-17Make theory name match file nameDavid Aspinall
2004-06-17Note about testDavid Aspinall
2004-06-16*** empty log message ***David Aspinall
2004-06-16New files.David Aspinall
2004-06-13Updated.David Aspinall
2004-05-06Comments.David Aspinall
2004-04-21Updated.David Aspinall
2004-04-05new test case for \<^isub>Gerwin Klein
2004-04-02More sub/super examples.David Aspinall
2004-04-02Add extra term test -- shows up current bugDavid Aspinall
2004-04-02More comments/test printing.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-21 01:55:44 +0000