aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
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 eve...David Aspinall
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 questio...David Aspinall
1999-12-01Fix broken linkDavid Aspinall
1999-12-01Removed unused descitem style.David Aspinall
1999-12-01Fix HTML errors by adding name arg to dt() function.David Aspinall
1999-12-01Fix HTML errors.David Aspinall
1999-12-01Mention using imenu instead of func-menu.David Aspinall
1999-12-01Fix HTML error with fileshow.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 12:10:09 +0000