aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Update magic, tweak Makefile to make sure magic uses source .elsGravatar David Aspinall2011-04-26
* Updated.Gravatar David Aspinall2011-04-26
* Fix compileGravatar David Aspinall2011-04-26
* Fix so that make test.coq runs successfully.Gravatar David Aspinall2011-04-26
* Clean up some defcustom docstrings (remove *'s)Gravatar David Aspinall2011-04-26
* Patch: font-lock-beginning-of-syntax-function -> syntax-begin-function to wor...Gravatar David Aspinall2011-04-26
* Fix for Trac #397. Needs some exercise.Gravatar David Aspinall2011-04-26
* * small doc fixGravatar Hendrik Tews2011-04-19
* DocstringGravatar David Aspinall2011-04-18
* * fix coq-show-first-goal changing the current bufferGravatar Hendrik Tews2011-04-15
* * fix overwriting setq coq-prog-name before loading Proof GeneralGravatar Hendrik Tews2011-04-15
* proof-shell-insert-hook: Clean docstring, addressing #396.Gravatar David Aspinall2011-04-13
* UpdatedGravatar David Aspinall2011-04-13
* Add proof-output-tooltips option to turn off output highlighting for people w...Gravatar David Aspinall2011-04-13
* typoGravatar David Aspinall2011-04-12
* * disable file safe when switching to new buffers for coqGravatar Hendrik Tews2011-04-06
* - change to proof-restart-buffers for unlocking ancestorsGravatar Hendrik Tews2011-03-14
* Set version tag for new release.Gravatar David Aspinall2011-03-09
* - fixed XXX'es in coq.elGravatar Hendrik Tews2011-02-28
* - adjust coq-ask-insert-coq-prog-name and doc in coq-local-vars-docGravatar Hendrik Tews2011-02-28
* Set version tag for new release.Gravatar David Aspinall2011-02-23
* Support delete selection mode on remapped delete commandsGravatar David Aspinall2011-02-23
* - deleted old coq multiple file stuffGravatar Hendrik Tews2011-02-18
* put coq compilation feature into coq settings menuGravatar Hendrik Tews2011-02-14
* - properly display compilation error messages and enable M-xGravatar Hendrik Tews2011-02-02
* Update with files from Isabelle2011 (no actual changes).Gravatar David Aspinall2011-01-31
* New files.Gravatar David Aspinall2011-01-31
* Deleted fileGravatar David Aspinall2011-01-31
* proof-shell-theorem-dependency-list-regexp: change to match altered output fo...Gravatar David Aspinall2011-01-31
* Old debug settingGravatar David Aspinall2011-01-31
* Set version tag for new release.Gravatar David Aspinall2011-01-31
* Only make settings commands for dynamic settings which differ from their defa...Gravatar David Aspinall2011-01-31
* auto-solve -> auto-solve-direct for Isabelle2011.Gravatar David Aspinall2011-01-31
* Make proof-assistant-settings follow currently available dynamic settings, an...Gravatar David Aspinall2011-01-31
* Support mouse action on modeline indicator for scripting modeGravatar David Aspinall2011-01-31
* Improve handling of dynamic preferences. Addresses Trac #387.Gravatar David Aspinall2011-01-31
* Improve hint messages; use proof mode keymap.Gravatar David Aspinall2011-01-31
* CommentsGravatar David Aspinall2011-01-31
* Improve handling of trace buffer and tracing slow mode.Gravatar David Aspinall2011-01-31
* Note about declare-functionGravatar David Aspinall2011-01-30
* Updated.Gravatar David Aspinall2011-01-30
* Fix prover versionsGravatar David Aspinall2011-01-30
* Deprecate Emacs 22.XGravatar David Aspinall2011-01-30
* - use low-level compilation interface for external coqGravatar Hendrik Tews2011-01-28
* - mark new coq specific variables as safeGravatar Hendrik Tews2011-01-28
* Clean coq goals buffer when backing to a non-proof state, otherwiseGravatar Pierre Courtieu2011-01-28
* added option -f FONT;Gravatar Makarius Wenzel2011-01-27
* ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu).Gravatar David Aspinall2011-01-26
* Add autotest-start with debug for nowGravatar David Aspinall2011-01-26
* Add autotest startGravatar David Aspinall2011-01-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 09:07:27 +0000