Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Obsolete files | 2009-09-06 | |
* | Clean whitespace | 2009-09-05 | |
* | Add bug ref | 2009-09-05 | |
* | some results | 2009-09-04 | |
* | some profiling records | 2009-09-04 | |
* | Add Elisp timings | 2009-09-04 | |
* | Timing | 2009-09-04 | |
* | fixed theory name; | 2009-09-04 | |
* | Add timing messages | 2009-09-04 | |
* | Set version tag for new release. | 2009-09-01 | |
* | Add Emacs 23 warning. | 2009-08-31 | |
* | Pointer to Stix fonts | 2009-08-31 | |
* | Set version tag for new release. | 2009-08-31 | |
* | Tokenize | 2009-08-31 | |
* | Attribution | 2009-08-31 | |
* | Add more commentary and new control examples | 2009-08-28 | |
* | Updated. | 2009-08-28 | |
* | Attempt to duplicate Dixon bug | 2009-08-28 | |
* | Set version tag for new release. | 2009-08-28 | |
* | Temporary note of property merging problems | 2009-08-28 | |
* | Property merging now works with tweaks in unicode-tokens | 2009-08-28 | |
* | Set version tag for new release. | 2009-08-17 | |
* | Update some examples | 2009-08-17 | |
* | New files. | 2009-08-17 | |
* | Set version tag for new release. | 2009-08-13 | |
* | Set version tag for new release. | 2009-08-07 | |
* | Set version tag for new release. | 2009-05-26 | |
* | *** empty log message *** | 2009-05-26 | |
* | Test case for #266 | 2009-05-26 | |
* | Revise example for Isabelle 2009, showing use of two commands on a line. | 2009-05-26 | |
* | Set version tag for new release. | 2009-04-16 | |
* | Set version tag for new release. | 2008-12-05 | |
* | Set version tag for new release. | 2008-09-19 | |
* | Updated. | 2008-08-03 | |
* | Remove XEmacs package, now single RPM. | 2008-08-03 | |
* | Merge changes from Version4Branch. | 2008-07-24 | |
* | Set version tag for new release. | 2008-07-23 | |
* | Set version tag for new release. | 2008-07-22 | |
* | New files. | 2008-07-19 | |
* | Update for new syntax | 2008-07-19 | |
* | Set version tag for new release. | 2008-07-19 | |
* | Set version tag for new release. | 2008-07-17 | |
* | Set version tag for new release. | 2008-07-12 | |
* | Updated. | 2008-07-12 | |
* | Set version tag for new release. | 2008-07-10 | |
* | New files. | 2008-07-10 | |
* | Set version tag for new release. | 2008-07-08 | |
* | Set version tag for new release. | 2008-07-07 | |
* | New files. | 2008-07-06 | |
* | Set version tag for new release. | 2008-07-06 |