aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2011-01-31New files.David Aspinall
2011-01-31Deleted fileDavid Aspinall
2011-01-31proof-shell-theorem-dependency-list-regexp: change to match altered output fo...David Aspinall
2011-01-31Old debug settingDavid Aspinall
2011-01-31Set version tag for new release.David Aspinall
2011-01-31Only make settings commands for dynamic settings which differ from their defa...David Aspinall
2011-01-31auto-solve -> auto-solve-direct for Isabelle2011.David Aspinall
2011-01-31Make proof-assistant-settings follow currently available dynamic settings, an...David Aspinall
2011-01-31Support mouse action on modeline indicator for scripting modeDavid Aspinall
2011-01-31Improve handling of dynamic preferences. Addresses Trac #387.David Aspinall
2011-01-31Improve hint messages; use proof mode keymap.David Aspinall
2011-01-31CommentsDavid Aspinall
2011-01-31Improve handling of trace buffer and tracing slow mode.David Aspinall
2011-01-30Note about declare-functionDavid Aspinall
2011-01-30Updated.David Aspinall
2011-01-30Fix prover versionsDavid Aspinall
2011-01-30Deprecate Emacs 22.XDavid Aspinall
2011-01-28- use low-level compilation interface for external coqHendrik Tews
2011-01-28- mark new coq specific variables as safeHendrik Tews
2011-01-28Clean coq goals buffer when backing to a non-proof state, otherwisePierre Courtieu
2011-01-27added option -f FONT;Makarius Wenzel
2011-01-26ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu).David Aspinall
2011-01-26Add autotest-start with debug for nowDavid Aspinall
2011-01-26Add autotest startDavid Aspinall
2011-01-26Add pg-autotest-start to allow debug startup, which doesn't catch errors.David Aspinall
2011-01-26- more info on the elements of proof-action-list; the COMMANDSHendrik Tews
2011-01-26- fix 1 second problemHendrik Tews
2011-01-26- fix problem descriptionHendrik Tews
2011-01-25proof-deactivate-scripting: cleanup this function to make moreDavid Aspinall
2011-01-25Remove semisDavid Aspinall
2011-01-25proof-fast-process-buffer: set to t also on Windows.David Aspinall
2011-01-25Bump/relax version numbers. Error for <23, warning for minor version mismatch.David Aspinall
2011-01-25Remove debug messagesDavid Aspinall
2011-01-25- unlock files when retracting a Require command (implemented viaHendrik Tews
2011-01-25Set version tag for new release.David Aspinall
2011-01-25Note recent changesDavid Aspinall
2011-01-25Remove dead codeDavid Aspinall
2011-01-25Remove proof-shell-wait that causes deadlock with new multiple-file code.David Aspinall
2011-01-25proof-shell-kill-function: use our own busy loop, as proof-shell-waitDavid Aspinall
2011-01-25Dump *Messages* and *PG Debug* into log file, they have useful info.David Aspinall
2011-01-24- change 'span-delete-action in 'span-delete-actions, which isHendrik Tews
2011-01-24Set version tag for new release.David Aspinall
2011-01-24Add News for 4.1David Aspinall
2011-01-23updated theory headers;Makarius Wenzel
2011-01-23TypoDavid Aspinall
2011-01-23Documentation updatesDavid Aspinall
2011-01-23proof-shell-exit: mention quit command and quit timeout in docDavid Aspinall
2011-01-23Make proof-shell-quit-timeout a prover-specific customize option, default to ...David Aspinall
2011-01-23proof-protected-process-or-retract: don't give failure error if nothing to doDavid Aspinall
2011-01-23Save the log file without querying user on exitDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 06:42:19 +0000