aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
2009-09-21Set version tag for new release.David Aspinall
2009-09-20*** empty log message ***David Aspinall
2009-09-20*** empty log message ***David Aspinall
2009-09-17*** empty log message ***David Aspinall
2009-09-16Set version tag for new release.David Aspinall
2009-09-15Set version tag for new release.David Aspinall
2009-09-11Update temp listDavid Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow pre-proce...David Aspinall
2009-09-10Coq testDavid Aspinall
2009-09-07Deleted fileDavid Aspinall
2009-09-06Obsolete filesDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-05Add bug refDavid Aspinall
2009-09-04some resultsDavid Aspinall
2009-09-04some profiling recordsDavid Aspinall
2009-09-04Add Elisp timingsDavid Aspinall
2009-09-04TimingDavid Aspinall
2009-09-04fixed theory name;Makarius Wenzel
2009-09-04Add timing messagesDavid Aspinall
2009-09-01Set version tag for new release.David Aspinall
2009-08-31Add Emacs 23 warning.David Aspinall
2009-08-31Pointer to Stix fontsDavid Aspinall
2009-08-31Set version tag for new release.David Aspinall
2009-08-31TokenizeDavid Aspinall
2009-08-31AttributionDavid Aspinall
2009-08-28Add more commentary and new control examplesDavid Aspinall
2009-08-28Updated.David Aspinall
2009-08-28Attempt to duplicate Dixon bugDavid Aspinall
2009-08-28Set version tag for new release.David Aspinall
2009-08-28Temporary note of property merging problemsDavid Aspinall
2009-08-28Property merging now works with tweaks in unicode-tokensDavid Aspinall
2009-08-17Set version tag for new release.David Aspinall
2009-08-17Update some examplesDavid Aspinall
2009-08-17New files.David Aspinall
2009-08-13Set version tag for new release.David Aspinall
2009-08-07Set version tag for new release.David Aspinall
2009-05-26Set version tag for new release.David Aspinall
2009-05-26*** empty log message ***David Aspinall
2009-05-26Test case for #266David Aspinall
2009-05-26Revise example for Isabelle 2009, showing use of two commands on a line.David Aspinall
2009-04-16Set version tag for new release.David Aspinall
2008-12-05Set version tag for new release.David Aspinall
2008-09-19Set version tag for new release.David Aspinall
2008-08-03Updated.David Aspinall
2008-08-03Remove XEmacs package, now single RPM.David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-23Set version tag for new release.David Aspinall
2008-07-22Set version tag for new release.David Aspinall
2008-07-19New files.David Aspinall
2008-07-19Update for new syntaxDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:52:39 +0000