aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2000-05-26Macros for generic custom settings from proof-config.David Aspinall
Made proof-set-value work with generic settings as well as global ones, hacking a name for a generic function.
2000-05-26Rename proof-defass-custom -> defpgcustom.David Aspinall
Moved macros for generic custom settings to proof-utils. Made proof-x-symbol-enable be generic (isa-x-symbol-enable, etc). Ditto proof-script-indent. Added proof-shell-pre-sync-init-cmd Added PA-completion-table, PA-tags-program.
2000-05-26fixed error in test.lfPaul Callaghan
fixed conflict in plastic.el
2000-05-26Moved compatibility code into proof-compat.elDavid Aspinall
2000-05-26Only extend the load path if necessaryDavid Aspinall
2000-05-26Comments, still nothing here.David Aspinall
2000-05-26Clean also deletes CVS temporaries (naughty, should be in devel.clean really)David Aspinall
2000-05-26UpdatedDavid Aspinall
2000-05-26Updated magicDavid Aspinall
2000-05-26Attempt to quote @ (failed, dunno why)David Aspinall
2000-05-26isar-any-command-regexp;Makarius Wenzel
2000-05-26isar-keywords-major;Makarius Wenzel
2000-05-25Temp hacks to get doc to build before proper commits.David Aspinall
2000-05-25Made x-symbol-enable be individual option.David Aspinall
2000-05-25Added completion table code.David Aspinall
2000-05-25Fixes for PA docs, and file load order.David Aspinall
2000-05-25Patched patch again.David Aspinall
Phew, what an effort.
2000-05-25Spurious newline causing patch to fall over.David Aspinall
2000-05-25Removed spurious code in isar-mode function.David Aspinall
Removed defunct key binding of C-c C-l (Overriden with goto-end-of-locked).
2000-05-25Fix applying of patch.David Aspinall
2000-05-25Fix patch.David Aspinall
2000-05-25Updated patch.David Aspinall
2000-05-25Revert to previous path for perl, better default for non-linux. Linux uses ↵David Aspinall
RPM, where its fixed.
2000-05-25Fix info bug.David Aspinall
2000-05-25Make doc link to 3.1, not pre-release. Minor extra editing on new release.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 02:59:38 +0000