aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
added isar-keywords-indent-reset; tuned font-lock;
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 ↵David Aspinall
proof-shell-eager-annotation-start-length.
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
Variable, just after Isabelle ProofGeneral. Surely not the good place, should be in some section called "tricks".
1999-12-13Set version tag for new release.David Aspinall
1999-12-13Added two new bugs to be fixed.David Aspinall
1999-12-13Added two new bugs.David Aspinall
1999-12-03Set version tag for new release.David Aspinall
1999-12-03Clarified further problem with Isabelle and ML files with embedded semis.David Aspinall
1999-12-03Fix link to SRPM.David Aspinall
1999-12-01Moved notice about license to download.phtml. Made plea for registration ↵David Aspinall
even more pitiful.
1999-12-01Update link for Isamode to be on zermelo (careful)David Aspinall
1999-12-01Set version tag for new release.David Aspinall
1999-12-01Minor.David Aspinall
1999-12-01Updated from version sent to lists.David Aspinall
1999-12-01Shorten note about imenu.David Aspinall
1999-12-01Fix HTML errors.David Aspinall
1999-12-01Add attribute that news was written by me.David Aspinall
1999-12-01Fix link to Dilip's rather uninformative pageDavid Aspinall
1999-12-01Hedge on tag for validator image, it's really a lie and should have a ↵David Aspinall
question mark, not a tick.
1999-12-01Fix broken linkDavid Aspinall
1999-12-01Removed unused descitem style.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 01:26:02 +0000