Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | *** empty log message *** | 2009-10-16 | ||
* | Set version tag for new release. | 2009-10-06 | ||
* | Set version tag for new release. | 2009-09-29 | ||
* | Set version tag for new release. | 2009-09-28 | ||
* | Set version tag for new release. | 2009-09-21 | ||
* | *** empty log message *** | 2009-09-20 | ||
* | *** empty log message *** | 2009-09-20 | ||
* | *** empty log message *** | 2009-09-17 | ||
* | Set version tag for new release. | 2009-09-16 | ||
* | Set version tag for new release. | 2009-09-15 | ||
* | Update temp list | 2009-09-11 | ||
* | Experimental changes to queue several commands at once and to allow pre-proce... | 2009-09-10 | ||
* | Coq test | 2009-09-10 | ||
* | Deleted file | 2009-09-07 | ||
* | 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 |