aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
2012-09-14Set version tag for new release.David Aspinall
2012-09-04Set version tag for new release.David Aspinall
2012-09-02Set version tag for new release.David Aspinall
2012-08-27Illustrat Trac #447David Aspinall
2012-08-14Set version tag for new release.David Aspinall
2012-08-09Set version tag for new release.David Aspinall
2012-07-27Set version tag for new release.David Aspinall
2012-07-23Set version tag for new release.David Aspinall
2012-06-05Set version tag for new release.David Aspinall
2012-04-30Set version tag for new release.David Aspinall
2012-04-30Change default Unicode Tokens font back to DejaVU Sans, more reliable without...David Aspinall
2012-04-11Set version tag for new release.David Aspinall
2012-03-05remove deprecated desktop keysHendrik Tews
2012-02-08Test examples for HOL LightDavid Aspinall
2012-02-06Set version tag for new release.David Aspinall
2012-01-12Set version tag for new release.David Aspinall
2012-01-10Set version tag for new release.David Aspinall
2012-01-04Set version tag for new release.David Aspinall
2011-12-27Add big IntegralDavid Aspinall
2011-12-07Set version tag for new release.David Aspinall
2011-10-17Set version tag for new release.David Aspinall
2011-10-13Set version tag for new release.David Aspinall
2011-10-13Note on how to update base revision number (since I got it wrong on first try)David Aspinall
2011-10-03Set version tag for new release.David Aspinall
2011-09-28updated tests to Isabelle2011-1;Makarius Wenzel
2011-09-19Clean up a little bit, adding extra syntax to make buffer process fully.David Aspinall
2011-09-16Set version tag for new release.David Aspinall
2011-09-04some local buffer properties;Makarius Wenzel
2011-08-24Set version tag for new release.David Aspinall
2011-08-23Set version tag for new release.David Aspinall
2011-06-22Set version tag for new release.David Aspinall
2011-06-22Set version tag for new release.David Aspinall
2011-06-10Set version tag for new release.David Aspinall
2011-06-10Set version tag for new release.David Aspinall
2011-06-10Deleted fileDavid Aspinall
2011-06-09Change linebreaks as Hendrik would like, not wiki formatted(!)David Aspinall
2011-06-09parsing check from Trac #410David Aspinall
2011-06-09Set version tag for new release.David Aspinall
2011-06-07Set version tag for new release.David Aspinall
2011-06-06Record of bug report sentDavid Aspinall
2011-06-06*** empty log message ***David Aspinall
2011-06-01Set version tag for new release.David Aspinall
2011-05-30Set version tag for new release.David Aspinall
2011-05-27Set version tag for new release.David Aspinall
2011-05-16Set version tag for new release.David Aspinall
2011-05-12Set version tag for new release.David Aspinall
2011-05-05Set version tag for new release.David Aspinall
2011-04-26Set version tag for new release.David Aspinall
2011-03-09Set version tag for new release.David Aspinall
2011-02-23Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:42:36 +0000