aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2000-05-25Doc more new features and bug fixes for 3.2.David Aspinall
Doc new PA-<name> mechanism. Doc for completion. Doc for proof-shell-pre-sync-init-cmd.
2000-05-25Note about proof-shell-pre-sync-init-cmdDavid Aspinall
2000-05-25Note about fix for C-x C-f and friendsDavid Aspinall
2000-05-25Note about sync problemDavid Aspinall
2000-05-25Patch for synchronization problem in Coq, perhaps others.David Aspinall
2000-05-25New file, test cases for bugsDavid Aspinall
2000-05-25Add target for editing perl scripts tooDavid Aspinall
2000-05-25Change default path to perlDavid Aspinall
2000-05-25Second toolbar patch in 3.1.6 now.David Aspinall
2000-05-25Updated from 3.1 branchDavid Aspinall
2000-05-25When button enablers disabled, don't use itimer or after-change hook.David Aspinall
2000-05-25Toolbar fixes.David Aspinall
2000-05-25Next button is enabled whenever locked region is not full.David Aspinall
2000-05-25MinorDavid Aspinall
2000-05-25Set version tag for new release.David Aspinall
2000-05-25Added link to HELMDavid Aspinall
2000-05-25Fix para spacingDavid Aspinall
2000-05-25Note about 3.1.6David Aspinall
2000-05-25Turn off button enablers when running on SolarisDavid Aspinall
2000-05-24added "done";Makarius Wenzel
2000-05-22replaced proof-ids-to-regexp by isar-ids-to-regexp, which admitsMakarius Wenzel
keywords to consist of a single non-word char as well (e.g. { });
2000-05-22replaced {{ }} by { };Makarius Wenzel
2000-05-19isar-verbatim-regexp: include \n;Makarius Wenzel
2000-05-18Updated. Noted that "first line" bug is more prevalent than thought.David Aspinall
2000-05-18Goals.enable/disable_pr: improved version for Isabelle99-1 (commented out);Makarius Wenzel
2000-05-17Clarify favourites command: key sequence will begin with C-c C-a.David Aspinall
2000-05-17Set version tag for new release.David Aspinall
2000-05-17UpdatedDavid Aspinall
2000-05-17added show-consts, long-names;Makarius Wenzel
improved isar-markup-ml;
2000-05-17re-use isa/interface-setup.el rather than separate isar version;Makarius Wenzel
2000-05-16debugging coq menu for old Xemacs compatibility, David said he will do thisPierre Courtieu
for other provers (already done ?).
2000-05-16Fix buttons must be 3 long error (for 20.4 compatibility)David Aspinall
2000-05-16Reference tweakDavid Aspinall
2000-05-16Fix buttons must be 3 long errorDavid Aspinall
2000-05-16Set version tag for new release.David Aspinall
2000-05-16Docstring fixDavid Aspinall
2000-05-16Fixes for defining favourites, added warning for pre-release users.David Aspinall
2000-05-16Updated magic, new funcs.David Aspinall
2000-05-16Fixed to load all files and define proof ass specifc vars.David Aspinall
2000-05-16Added proof-ready-for-assistant function to help docstring magic.David Aspinall
2000-05-16Added question asked by Larry.David Aspinall
2000-05-16Comment addedDavid Aspinall
2000-05-16Add proof-strict-state-preserving settingDavid Aspinall
2000-05-16Move setting of proof-shell-pre-interrupt-hook to isabelle-system.elDavid Aspinall
2000-05-16Missing quoteDavid Aspinall
2000-05-16Added version string to splash. Added proof-strict-state-preservingDavid Aspinall
2000-05-16Updated, mentioned Solaris bug reported by Markus.David Aspinall
2000-05-16Updated PG talk slidesDavid Aspinall
2000-05-16Better reference to TACAS paper. Added link to white paper draft.David Aspinall
2000-05-16Be more generous if bash is not found.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-24 09:15:47 +0000