aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* Deleted fileGravatar David Aspinall2009-09-07
* Obsolete filesGravatar David Aspinall2009-09-06
* Clean whitespaceGravatar David Aspinall2009-09-05
* Add bug refGravatar David Aspinall2009-09-05
* some resultsGravatar David Aspinall2009-09-04
* some profiling recordsGravatar David Aspinall2009-09-04
* Add Elisp timingsGravatar David Aspinall2009-09-04
* TimingGravatar David Aspinall2009-09-04
* fixed theory name;Gravatar Makarius Wenzel2009-09-04
* Add timing messagesGravatar David Aspinall2009-09-04
* Set version tag for new release.Gravatar David Aspinall2009-09-01
* Add Emacs 23 warning.Gravatar David Aspinall2009-08-31
* Pointer to Stix fontsGravatar David Aspinall2009-08-31
* Set version tag for new release.Gravatar David Aspinall2009-08-31
* TokenizeGravatar David Aspinall2009-08-31
* AttributionGravatar David Aspinall2009-08-31
* Add more commentary and new control examplesGravatar David Aspinall2009-08-28
* Updated.Gravatar David Aspinall2009-08-28
* Attempt to duplicate Dixon bugGravatar David Aspinall2009-08-28
* Set version tag for new release.Gravatar David Aspinall2009-08-28
* Temporary note of property merging problemsGravatar David Aspinall2009-08-28
* Property merging now works with tweaks in unicode-tokensGravatar David Aspinall2009-08-28
* Set version tag for new release.Gravatar David Aspinall2009-08-17
* Update some examplesGravatar David Aspinall2009-08-17
* New files.Gravatar David Aspinall2009-08-17
* Set version tag for new release.Gravatar David Aspinall2009-08-13
* Set version tag for new release.Gravatar David Aspinall2009-08-07
* Set version tag for new release.Gravatar David Aspinall2009-05-26
* *** empty log message ***Gravatar David Aspinall2009-05-26
* Test case for #266Gravatar David Aspinall2009-05-26
* Revise example for Isabelle 2009, showing use of two commands on a line.Gravatar David Aspinall2009-05-26
* Set version tag for new release.Gravatar David Aspinall2009-04-16
* Set version tag for new release.Gravatar David Aspinall2008-12-05
* Set version tag for new release.Gravatar David Aspinall2008-09-19
* Updated.Gravatar David Aspinall2008-08-03
* Remove XEmacs package, now single RPM.Gravatar David Aspinall2008-08-03
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Set version tag for new release.Gravatar David Aspinall2008-07-23
* Set version tag for new release.Gravatar David Aspinall2008-07-22
* New files.Gravatar David Aspinall2008-07-19
* Update for new syntaxGravatar David Aspinall2008-07-19
* Set version tag for new release.Gravatar David Aspinall2008-07-19
* Set version tag for new release.Gravatar David Aspinall2008-07-17
* Set version tag for new release.Gravatar David Aspinall2008-07-12
* Updated.Gravatar David Aspinall2008-07-12
* Set version tag for new release.Gravatar David Aspinall2008-07-10
* New files.Gravatar David Aspinall2008-07-10
* Set version tag for new release.Gravatar David Aspinall2008-07-08
* Set version tag for new release.Gravatar David Aspinall2008-07-07
* New files.Gravatar David Aspinall2008-07-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 02:06:36 +0000