aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
2010-08-17Set version tag for new release.David Aspinall
2010-08-15Set version tag for new release.David Aspinall
2010-08-15Elisp timingDavid Aspinall
2010-08-03Fix theory nameDavid Aspinall
2010-08-03Support files for Movie outputDavid Aspinall
2010-07-08Set version tag for new release.David Aspinall
2010-06-28Isabelle syntax updateDavid Aspinall
2010-06-28Isabelle syntax updateDavid Aspinall
2009-12-04New filesDavid Aspinall
2009-12-04Set version tag for new release.David Aspinall
2009-12-01Update token list adding fraktur characters.David Aspinall
2009-12-01Set version tag for new release.David Aspinall
2009-12-01Profile 'pg' needed now tooDavid Aspinall
2009-12-01Added spanning identifier supers/subsDavid Aspinall
2009-12-01Add some examples of longer subscriptsDavid Aspinall
2009-12-01Add test caseDavid Aspinall
2009-12-01Add some more examples and syntax declarations to actuallyDavid Aspinall
2009-11-12Set version tag for new release.David Aspinall
2009-10-16Set version tag for new release.David Aspinall
2009-10-16Add pointerDavid Aspinall
2009-10-16*** empty log message ***David Aspinall
2009-10-06Set version tag for new release.David Aspinall
2009-09-29Set version tag for new release.David Aspinall
2009-09-28Set version tag for new release.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 18:50:07 +0000