aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2007-03-12
* Set version tag for new release.Gravatar David Aspinall2007-03-04
* Set version tag for new release.Gravatar David Aspinall2007-03-03
* Set version tag for new release.Gravatar David Aspinall2007-03-03
* Set version tag for new release.Gravatar David Aspinall2007-01-09
* Demonstrate faulty error reporting. Somewhat obscure, unless someGravatar David Aspinall2007-01-03
* Set version tag for new release.Gravatar David Aspinall2006-12-20
* Set version tag for new release.Gravatar David Aspinall2006-12-11
* Set version tag for new release.Gravatar David Aspinall2006-11-07
* Set version tag for new release.Gravatar David Aspinall2006-10-27
* Set version tag for new release.Gravatar David Aspinall2006-09-24
* Updated.Gravatar David Aspinall2006-09-22
* Tweak.Gravatar David Aspinall2006-09-22
* Set version tag for new release.Gravatar David Aspinall2006-09-22
* Packaging fixes: put isar/interface in right place; install examples and doc ...Gravatar David Aspinall2006-09-22
* Set version tag for new release.Gravatar David Aspinall2006-09-12
* Set version tag for new release.Gravatar David Aspinall2006-09-09
* Set version tag for new release.Gravatar David Aspinall2006-09-07
* Set version tag for new release.Gravatar David Aspinall2006-08-28
* Mention Emacs menu for debug boxesGravatar David Aspinall2006-08-23
* Change to new Isabelle syntaxGravatar David Aspinall2006-07-26
* Set version tag for new release.Gravatar David Aspinall2006-05-26
* Set version tag for new release.Gravatar David Aspinall2006-02-14
* Set version tag for new release.Gravatar David Aspinall2005-10-04
* Set version tag for new release.Gravatar David Aspinall2005-09-30
* Set version tag for new release.Gravatar David Aspinall2005-09-22
* Set version tag for new release.Gravatar David Aspinall2005-09-21
* Set version tag for new release.Gravatar David Aspinall2005-09-15
* tuned comment;Gravatar Makarius Wenzel2005-09-14
* example output;Gravatar Makarius Wenzel2005-09-01
* added lemma;Gravatar Makarius Wenzel2005-09-01
* example theory involving unicode characters (utf-8 encoding);Gravatar Makarius Wenzel2005-09-01
* Set version tag for new release.Gravatar David Aspinall2005-08-10
* Updated.Gravatar David Aspinall2005-08-10
* Try to avoid packaging elcs inadvertentlyGravatar David Aspinall2005-07-15
* Set version tag for new release.Gravatar David Aspinall2005-07-15
* Tweak headers for FC4 buildGravatar David Aspinall2005-07-15
* Update to match desktop entry spec 0.9.4Gravatar David Aspinall2005-07-15
* Add alpha to fit modern themesGravatar David Aspinall2005-07-15
* Tweaks according to menu-spec-0.9, desktop-entry-spect 0.9.4Gravatar David Aspinall2005-07-15
* Set version tag for new release.Gravatar David Aspinall2005-06-02
* Set version tag for new release.Gravatar David Aspinall2005-05-17
* Set version tag for new release.Gravatar David Aspinall2005-03-25
* FixesGravatar David Aspinall2004-11-30
* Add emacs, xemacs as build requires suggested by J ShapiroGravatar David Aspinall2004-10-05
* Set version tag for new release.Gravatar David Aspinall2004-08-31
* More proofgeneral.org removalsGravatar David Aspinall2004-08-25
* Set version tag for new release.Gravatar David Aspinall2004-08-25
* Update for forthcoming 3.6Gravatar David Aspinall2004-08-25
* Explain LaTeX mode for Isabelle a bit betterGravatar David Aspinall2004-08-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 15:43:23 +0000