Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Experimental changes to queue several commands at once and to allow pre-proce... | David Aspinall | 2009-09-10 |
* | Coq test | David Aspinall | 2009-09-10 |
* | Deleted file | David Aspinall | 2009-09-07 |
* | Obsolete files | David Aspinall | 2009-09-06 |
* | Clean whitespace | David Aspinall | 2009-09-05 |
* | Add bug ref | David Aspinall | 2009-09-05 |
* | 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-09-04 |
* | Set version tag for new release. | David Aspinall | 2009-09-01 |
* | Add Emacs 23 warning. | David Aspinall | 2009-08-31 |
* | Pointer to Stix fonts | David Aspinall | 2009-08-31 |
* | Set version tag for new release. | David Aspinall | 2009-08-31 |
* | Tokenize | David Aspinall | 2009-08-31 |
* | Attribution | David Aspinall | 2009-08-31 |
* | 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 |
* | Set version tag for new release. | 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-28 |
* | Set version tag for new release. | David Aspinall | 2009-08-17 |
* | Update some examples | David Aspinall | 2009-08-17 |
* | New files. | David Aspinall | 2009-08-17 |
* | Set version tag for new release. | David Aspinall | 2009-08-13 |
* | Set version tag for new release. | David Aspinall | 2009-08-07 |
* | Set version tag for new release. | 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 | 2009-05-26 |
* | Set version tag for new release. | David Aspinall | 2009-04-16 |
* | Set version tag for new release. | David Aspinall | 2008-12-05 |
* | Set version tag for new release. | David Aspinall | 2008-09-19 |
* | Updated. | David Aspinall | 2008-08-03 |
* | Remove XEmacs package, now single RPM. | David Aspinall | 2008-08-03 |
* | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
* | Set version tag for new release. | David Aspinall | 2008-07-23 |
* | Set version tag for new release. | David Aspinall | 2008-07-22 |
* | New files. | David Aspinall | 2008-07-19 |
* | Update for new syntax | David Aspinall | 2008-07-19 |
* | Set version tag for new release. | David Aspinall | 2008-07-19 |
* | Set version tag for new release. | David Aspinall | 2008-07-17 |
* | Set version tag for new release. | David Aspinall | 2008-07-12 |
* | Updated. | David Aspinall | 2008-07-12 |
* | Set version tag for new release. | David Aspinall | 2008-07-10 |
* | New files. | David Aspinall | 2008-07-10 |
* | Set version tag for new release. | David Aspinall | 2008-07-08 |