aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isar
Commit message (Expand)AuthorAge
* 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
* Update for new syntaxGravatar David Aspinall2008-07-19
* New files.Gravatar David Aspinall2008-07-10
* Remove semi-colons. Literal commands triggered in response bufferGravatar David Aspinall2008-01-31
* New files.Gravatar David Aspinall2008-01-29
* Updated.Gravatar David Aspinall2008-01-29
* New files.Gravatar David Aspinall2008-01-29
* Updated.Gravatar David Aspinall2008-01-15
* Updated.Gravatar David Aspinall2007-12-14
* New files.Gravatar David Aspinall2007-12-14
* New files.Gravatar David Aspinall2007-12-09
* proper use of ProofGeneral.sendback;Gravatar Makarius Wenzel2007-08-20
* Test ProofGeneral.sendbackGravatar David Aspinall2007-08-19
* Add support for sending back literal commands reusing PBP markup mechanisms.Gravatar David Aspinall2007-08-14
* Demonstrate faulty error reporting. Somewhat obscure, unless someGravatar David Aspinall2007-01-03
* Change to new Isabelle syntaxGravatar David Aspinall2006-07-26
* tuned comment;Gravatar Makarius Wenzel2005-09-14
* example output;Gravatar Makarius Wenzel2005-09-01
* added lemma;Gravatar Makarius Wenzel2005-09-01
* example theory involving unicode characters (utf-8 encoding);Gravatar Makarius Wenzel2005-09-01
* New files.Gravatar David Aspinall2004-08-10
* Update email msgGravatar David Aspinall2004-06-22
* Include bug report and observation about GNU EmacsGravatar David Aspinall2004-06-22
* Test case for nesting too deep for parser errorGravatar David Aspinall2004-06-22
* Make theory name match file nameGravatar David Aspinall2004-06-17
* Note about testGravatar David Aspinall2004-06-17
* *** empty log message ***Gravatar David Aspinall2004-06-16