aboutsummaryrefslogtreecommitdiff
path: root/etc/isar
AgeCommit message (Expand)Author
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
2004-04-02Add test of spanning sup/subDavid Aspinall
2003-09-25Add bug reported by Norbert Schirmer.David Aspinall
2003-03-10Add test case with symbol in subscriptDavid Aspinall
2003-03-07Remove notes about old bugsDavid Aspinall
2003-02-19New files.David Aspinall
2003-02-18New files.David Aspinall
2003-02-17Test case for {nested proof} in isabelleDavid Aspinall
2003-01-24New files.David Aspinall
2002-08-28Borrowed as exampleDavid Aspinall
2002-08-28Exercise bug in pg-remove-specials breaking x-sym display in IsabelleDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-15 23:04:26 +0000