aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-08-20Fix for process kill timeout bug.David Aspinall
1999-08-20Changes for PG 2.1David Aspinall
1999-08-20Improvement for C-c C-o mentionedDavid Aspinall
1999-08-20Set version tag for new release.David Aspinall
1999-08-20eliminated superficial ';'s;Makarius Wenzel
1999-08-20prefer proof-shell-interrupt-regexp over proof-shell-error-regexpMakarius Wenzel
1999-08-20print_context;Makarius Wenzel
1999-08-20Added todo for pre 2.1 testingDavid Aspinall
1999-08-20Default background colour for toolbar buttons added.David Aspinall
1999-08-20update by DvO;Makarius Wenzel
1999-08-20ignore fileDavid Aspinall
1999-08-20Fix for XEmacs 21David Aspinall
1999-08-19based on Pure rather than Main (which didn't work because of Pure/CPure clash);Makarius Wenzel
1999-08-19Set version tag for new release.David Aspinall
1999-08-19Adjustments to remove .eps picture from frontDavid Aspinall
1999-08-19Instructions for docsDavid Aspinall
1999-08-19Removed .eps.gz file from distrib to make it much smallerDavid Aspinall
1999-08-19Date changeDavid Aspinall
1999-08-18tuned;Makarius Wenzel
1999-08-18proof-shell-start-goals-regexp: include \n;Makarius Wenzel
1999-08-18isa-init-syntax-table moved here from isa.el;Makarius Wenzel
1999-08-18proof-shell-start-goals-regexp: include \n;Makarius Wenzel
1999-08-18deactivated isar-font-lock-terms (currently useless);Makarius Wenzel
1999-08-18replaced 'ProofGeneral' by 'Proof General';Makarius Wenzel
1999-08-18obsolete;Makarius Wenzel
1999-08-17Web page todo for smaller screens.David Aspinall
1999-08-17Mention mailing listDavid Aspinall
1999-08-17Mention developers mailing listDavid Aspinall
1999-08-17Mail to majordomo, not daDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 07:21:55 +0000