aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Fix compile and spellingGravatar David Aspinall2010-08-09
* Use pg-dev profiling configurationGravatar David Aspinall2010-08-09
* proof-assert-electric-terminator: give more user-friendly error message if un...Gravatar David Aspinall2010-08-08
* Add timestamps. Fix random jump spurious error.Gravatar David Aspinall2010-08-08
* Note completeGravatar David Aspinall2010-08-08
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* isabelle-string-face: introduce custom string colour as font lock default is ...Gravatar David Aspinall2010-08-04
* Swap phi and varphi for better consistency with STIX.Gravatar David Aspinall2010-08-04
* isar-remove-file: remove (tail) recursion, leads to stack overflowGravatar David Aspinall2010-08-04
* proof-allow-undo-in-read-only: remove, use proof-strict-read-only instead.Gravatar David Aspinall2010-08-03
* pg-protected-undo changeGravatar David Aspinall2010-08-03
* pg-protected-undo: remove separate `proof-allow-undo-in-read-only' andGravatar David Aspinall2010-08-03
* proof-assert-electric-terminator: fix logic for inserting at buffer endGravatar David Aspinall2010-08-03
* Separate profiling from testingGravatar David Aspinall2010-08-03
* Simplify messaging code. Make sure random jumps do something. Fix assert-pr...Gravatar David Aspinall2010-08-03
* Improve printing of test parameters.Gravatar David Aspinall2010-08-03
* Show test log in case of failureGravatar David Aspinall2010-08-03
* Fix compileGravatar David Aspinall2010-08-03
* Temporarily disable splashGravatar David Aspinall2010-08-03
* Fix compilationGravatar David Aspinall2010-08-03
* Move key binding for proof assistant keymap (fixes compilation bug)Gravatar David Aspinall2010-08-03
* UpdateGravatar David Aspinall2010-08-03
* Fix compileGravatar David Aspinall2010-08-03
* Resurrect autotest frameworkGravatar David Aspinall2010-08-03
* save-some-buffers: only offer to save proof script buffersGravatar David Aspinall2010-08-03
* proof-shell-wait, proof-shell-kill-function: avoid use of sit-for.Gravatar David Aspinall2010-08-03
* less surprising unicode tokens: <-> corresponds to longleftrightarrow in comm...Gravatar Makarius Wenzel2010-08-03
* proof-deftoggle-fn: make ARG optional as suggested by docstringGravatar David Aspinall2010-08-03
* Updated.Gravatar David Aspinall2010-08-03
* span-mapcar-spans-inorder: added for pg-movie productionGravatar David Aspinall2010-08-03
* Fix theory nameGravatar David Aspinall2010-08-03
* Support files for Movie outputGravatar David Aspinall2010-08-03
* Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.Gravatar David Aspinall2010-08-03
* Updated.Gravatar David Aspinall2010-08-03
* Bump date (again)Gravatar David Aspinall2010-08-03
* proof-full-annotation: default to t; advanced users may turn off.Gravatar David Aspinall2010-08-03
* Move distribution examples into subdirGravatar David Aspinall2010-08-03
* Fix theory nameGravatar David Aspinall2010-08-03
* Deleted fileGravatar David Aspinall2010-08-03
* Fix for matching names in regexps, restores behaviour of name-aware code such...Gravatar David Aspinall2010-08-02
* Add pg-protected-undo improved version due to Erik Martin-DorelGravatar David Aspinall2010-08-02
* Update years, versions.Gravatar David Aspinall2010-07-08
* Set version tag for new release.Gravatar David Aspinall2010-07-08
* Cleanups for save-excursion to avoid warnings in latest Emacs versionsGravatar David Aspinall2010-07-08
* save-excursion -> with-temp-bufferGravatar David Aspinall2010-07-08
* Replace uses of save-excursion with with-current-buffer. ThisGravatar David Aspinall2010-07-01
* plastic-shell-adjust-line-width: save-excursion -> with-current-buffer to avoidGravatar David Aspinall2010-07-01
* lego-shell-adjust-line-width: save-excursion -> with-current-buffer to avoidGravatar David Aspinall2010-07-01
* isar-shell-adjust-line-width: save-excursion -> with-current-buffer to avoidGravatar David Aspinall2010-07-01
* proof-last-locked-span: save-excursion -> with-current-buffer to avoidGravatar David Aspinall2010-07-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 16:49:45 +0000