aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-08-17Updated for web pages, now only low-priority.David Aspinall
1999-08-17HTML tweaksDavid Aspinall
1999-08-17Set version tag for new release.David Aspinall
1999-08-16obsolete, use Isabelle's native ProofGeneral.init instead;Makarius Wenzel
1999-08-16proof-shell-first-special-char ?\350;Makarius Wenzel
1999-08-16disable_pr, enable_pr;Makarius Wenzel
1999-08-06tuned;Makarius Wenzel
1999-08-06ProofGeneral interface wrapper for Isabelle/classicMakarius Wenzel
1999-08-03updated;Makarius Wenzel
1999-07-29Test files for multiple file handling with Isabelle/Isar;Makarius Wenzel
1999-07-29removed obsolete stuff stemming from isa.el;Makarius Wenzel
1999-07-28fixed proof-goal-command;Makarius Wenzel
1999-07-28fixed Id;Makarius Wenzel
1999-07-28pretty_setmargin;Makarius Wenzel
1999-07-27isar-init-syntax-table now in isar-syntax.el;Makarius Wenzel
1999-07-27isar-name-regexp: group result;Makarius Wenzel
1999-07-27updated;Makarius Wenzel
1999-07-24please ignore (back to 1.1);Makarius Wenzel
1999-07-24please ignore (back to 2.15);Makarius Wenzel
1999-07-24*** empty log message ***Makarius Wenzel
1999-07-22Added prereltag.txt and extra link for latest srpm.David Aspinall
1999-07-22Set version tag for new release.David Aspinall
1999-07-22UpdatedDavid Aspinall
1999-07-22Downgraded Isabelle version to 98-1 againDavid Aspinall
1999-07-22Reverted change to Inferior buffer's name, it fails on simpleDavid Aspinall
1999-07-22removed 'break';Makarius Wenzel
1999-07-16Set version tag for new release.David Aspinall
1999-07-09added def;Makarius Wenzel
1999-07-08added concl, thence;Makarius Wenzel
1999-07-08isar-stack-to-indent: indent according to (current-column) of open cmd;Makarius Wenzel
1999-07-08(goto-char (point-min)) rather than (proof-goto-end-of-locked);Makarius Wenzel
1999-07-07Set version tag for new release.David Aspinall
1999-07-06removed prev, up, top;Makarius Wenzel
1999-07-05todo for web pagesDavid Aspinall
1999-07-05Validator address fix.David Aspinall
1999-07-03Tweaks and validation fixes.David Aspinall
1999-07-03Fixed validator address.David Aspinall
1999-07-03CommentDavid Aspinall
1999-07-03todo for htmlDavid Aspinall
1999-07-03Load plastic and isar as a sanity check, prelude to documenting in texiDavid Aspinall
1999-07-03Notice about versions supported, fixes.David Aspinall
1999-07-03Removed extra parenthesis.David Aspinall
1999-07-03Request to register a little more encouraging.David Aspinall
1999-07-03Set version tag for new release.David Aspinall
1999-07-02fixed some regexps via proof-anchor-regexp;Makarius Wenzel
1999-07-02fixed some regexp via proof-anchor-regexp;Makarius Wenzel
1999-07-02Set version tag for new release.David Aspinall
1999-07-02added "sorry" proof;Makarius Wenzel
1999-07-02"txt" keyword;Makarius Wenzel
1999-07-02Date change.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-07-01 23:33:21 +0000