aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Collapse)Author
2005-07-15Try to avoid packaging elcs inadvertentlyDavid Aspinall
2005-07-15Set version tag for new release.David Aspinall
2005-07-15Tweak headers for FC4 buildDavid Aspinall
2005-07-15Update to match desktop entry spec 0.9.4David Aspinall
2005-07-15Add alpha to fit modern themesDavid Aspinall
2005-07-15Tweaks according to menu-spec-0.9, desktop-entry-spect 0.9.4David Aspinall
2005-06-02Set version tag for new release.David Aspinall
2005-05-17Set version tag for new release.David Aspinall
2005-03-25Set version tag for new release.David Aspinall
2004-11-30FixesDavid Aspinall
2004-10-05Add emacs, xemacs as build requires suggested by J ShapiroDavid Aspinall
2004-08-31Set version tag for new release.David Aspinall
2004-08-25More proofgeneral.org removalsDavid Aspinall
2004-08-25Set version tag for new release.David Aspinall
2004-08-25Update for forthcoming 3.6David Aspinall
2004-08-25Explain LaTeX mode for Isabelle a bit betterDavid Aspinall
2004-08-25Update for 3.6 releaseDavid Aspinall
2004-08-25Update for 3.6 releaseDavid Aspinall
2004-08-10Set version tag for new release.David Aspinall
2004-08-10New files.David Aspinall
2004-07-23Set version tag for new release.David Aspinall
2004-06-22Update email msgDavid Aspinall
2004-06-22Include bug report and observation about GNU EmacsDavid Aspinall
2004-06-22Test case for nesting too deep for parser errorDavid Aspinall
2004-06-17Set version tag for new release.David Aspinall
2004-06-17Make theory name match file nameDavid Aspinall
2004-06-17Note about testDavid Aspinall
2004-06-16*** empty log message ***David Aspinall
2004-06-16New files.David Aspinall
2004-06-16Set version tag for new release.David Aspinall
2004-06-13Updated.David Aspinall
2004-06-04Set version tag for new release.David Aspinall
2004-05-07Update with date/version.David Aspinall
2004-05-07Claim auto compilation for Coq.David Aspinall
2004-05-06Comments.David Aspinall
2004-04-24Set version tag for new release.David Aspinall
2004-04-24Updated.David Aspinall
2004-04-24Update test filesDavid Aspinall
2004-04-22New files.David Aspinall
2004-04-21Set version tag for new release.David Aspinall
2004-04-21Updated.David Aspinall
2004-04-21Updated.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Updated.David Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Updated.David Aspinall
2004-04-17Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:32:30 +0000