| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-09-05 | Clean whitespace | David Aspinall |
| 2009-09-04 | some results | David Aspinall |
| 2009-09-04 | some profiling records | David Aspinall |
| 2009-09-04 | Add Elisp timings | David Aspinall |
| 2009-09-04 | Timing | David Aspinall |
| 2009-09-04 | fixed theory name; | Makarius Wenzel |
| 2009-09-04 | Add timing messages | David Aspinall |
| 2009-08-31 | Add Emacs 23 warning. | David Aspinall |
| 2009-08-31 | Pointer to Stix fonts | David Aspinall |
| 2009-08-31 | Tokenize | David Aspinall |
| 2009-08-31 | Attribution | David Aspinall |
| 2009-08-28 | Add more commentary and new control examples | David Aspinall |
| 2009-08-28 | Updated. | David Aspinall |
| 2009-08-28 | Attempt to duplicate Dixon bug | David Aspinall |
| 2009-08-28 | Temporary note of property merging problems | David Aspinall |
| 2009-08-28 | Property merging now works with tweaks in unicode-tokens | David Aspinall |
| 2009-08-17 | Update some examples | David Aspinall |
| 2009-05-26 | *** empty log message *** | David Aspinall |
| 2009-05-26 | Test case for #266 | David Aspinall |
| 2009-05-26 | Revise example for Isabelle 2009, showing use of two commands on a line. | David Aspinall |
| 2008-08-03 | Updated. | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-07-19 | New files. | David Aspinall |
| 2008-07-19 | Update for new syntax | David Aspinall |
| 2008-07-10 | New files. | David Aspinall |
| 2008-01-31 | Remove semi-colons. Literal commands triggered in response buffer | David Aspinall |
| 2008-01-29 | New files. | David Aspinall |
| 2008-01-29 | Updated. | David Aspinall |
| 2008-01-29 | New files. | David Aspinall |
| 2008-01-15 | Updated. | David Aspinall |
| 2007-12-14 | Updated. | David Aspinall |
| 2007-12-14 | New files. | David Aspinall |
| 2007-12-09 | New files. | David Aspinall |
| 2007-08-20 | proper use of ProofGeneral.sendback; | Makarius Wenzel |
| 2007-08-19 | Test ProofGeneral.sendback | David Aspinall |
| 2007-08-14 | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall |
| 2007-01-03 | Demonstrate faulty error reporting. Somewhat obscure, unless some | David Aspinall |
| 2006-07-26 | Change to new Isabelle syntax | David Aspinall |
| 2005-09-14 | tuned comment; | Makarius Wenzel |
| 2005-09-01 | example output; | Makarius Wenzel |
| 2005-09-01 | added lemma; | Makarius Wenzel |
| 2005-09-01 | example theory involving unicode characters (utf-8 encoding); | Makarius Wenzel |
| 2004-08-10 | New files. | David Aspinall |
| 2004-06-22 | Update email msg | David Aspinall |
| 2004-06-22 | Include bug report and observation about GNU Emacs | David Aspinall |
| 2004-06-22 | Test case for nesting too deep for parser error | David Aspinall |
| 2004-06-17 | Make theory name match file name | David Aspinall |
| 2004-06-17 | Note about test | David Aspinall |
| 2004-06-16 | *** empty log message *** | David Aspinall |
| 2004-06-16 | New files. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |