aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-02-15More projects adedDavid Aspinall
2000-02-15Note about registering.David Aspinall
2000-02-15Rephrasing.David Aspinall
2000-02-15Set version tag for new release.David Aspinall
2000-02-15Canonical URL.David Aspinall
2000-02-15Switch to canonical URL (broken currently)David Aspinall
2000-02-15New canonical URL for PG.David Aspinall
2000-02-15New name for devel download page.David Aspinall
2000-02-15Remove duplicate entry.David Aspinall
2000-02-15New development pages added, more linksDavid Aspinall
2000-02-14isar-tac-regexp: 'font-lock-reference-face;Makarius Wenzel
2000-02-14removed then_apply;Makarius Wenzel
2000-02-11option -x: enable x-symbol package;Makarius Wenzel
2000-02-11added "judgment";Makarius Wenzel
2000-02-10setup proof-shell-pre-interrupt-hook for Poly/ML;Makarius Wenzel
2000-02-09Added link to OMEGA.David Aspinall
2000-02-09Doc for proof-shell-pre-interrupt-hookDavid Aspinall
2000-02-09Improved download docsDavid Aspinall
2000-02-09Added note about countdown to 3.1David Aspinall
2000-02-09Set version tag for new release.David Aspinall
2000-02-09Direction to look at BUGS fileDavid Aspinall
2000-02-09Added proof-shell-pre-interrupt-hookDavid Aspinall
2000-02-09tuned indentation code;Makarius Wenzel
2000-02-09added isar-keywords-qed-global, isar-global-save-command-regexp;Makarius Wenzel
2000-02-09added 'oops';Makarius Wenzel
2000-02-07fixed proof-shell-error-regexp;Makarius Wenzel
2000-01-28added prefer, defer;Makarius Wenzel
2000-01-26Set version tag for new release.David Aspinall
2000-01-25Notes about fix for problem with Emacs 20.5 reported by PierreDavid Aspinall
2000-01-25Temporary fix for problem with Emacs 20.5 reported by PierreDavid Aspinall
2000-01-20Set version tag for new release.David Aspinall
2000-01-18Fix to validator linksDavid Aspinall
2000-01-18in url, change ~dcs7ttg to CARG, the permanent formPaul Callaghan
2000-01-12Set version tag for new release.David Aspinall
2000-01-12Attempted fix for thy-mode X-Symbol problems. Still buggy.David Aspinall
2000-01-12CommentsDavid Aspinall
2000-01-12Note about X-Symbol problems.David Aspinall
2000-01-06Set version tag for new release.David Aspinall
2000-01-06Mention fix to proof-shell-eager-annotation-start-lengthDavid Aspinall
2000-01-06Fixes for short output duplication problem: set proof-shell-eager-annotation-...David Aspinall
2000-01-06added "where";Makarius Wenzel
1999-12-30fixed isar-keywords-local-goal-regexp;Makarius Wenzel
1999-12-16Set version tag for new release.David Aspinall
1999-12-16Typos.David Aspinall
1999-12-14Added slides, news about ETAPS demo.David Aspinall
1999-12-14Minor fixesDavid Aspinall
1999-12-14Typo.David Aspinall
1999-12-14Set version tag for new release.David Aspinall
1999-12-14New chapter on Hints and Tips. Credit to Pierre.David Aspinall
1999-12-14Pierre: Added little a chapter to the documentation: Using FilePierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 06:15:38 +0000