aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* proof-activate-scripting: make sure can succeed whenGravatar David Aspinall2010-08-13
* Remove deliberately buggy code at the end (Coq seems to be fixed)Gravatar David Aspinall2010-08-11
* Extend testingGravatar David Aspinall2010-08-11
* Make proof-boring-face a bit darker again so almost visible.Gravatar David Aspinall2010-08-11
* Move some var+macro to fix compilationGravatar David Aspinall2010-08-11
* Revert to 10.1 version of splash, with enhancements.Gravatar David Aspinall2010-08-11
* isabelle-quote-face: add this face to customize vanishing quotesGravatar David Aspinall2010-08-11
* unicode-tokens-symbol-font-face: default to italic and support settingGravatar David Aspinall2010-08-11
* Experiment with default string font being italic, to match STIX italic.Gravatar David Aspinall2010-08-11
* only run custom font-lock-fontify-syntactically-region on PG buffersGravatar David Aspinall2010-08-11
* Try to fix processing of this fileGravatar David Aspinall2010-08-11
* Support custom syntactic fontification. Split out pa macros.Gravatar David Aspinall2010-08-11
* Support custom syntactic fontification.Gravatar David Aspinall2010-08-11
* Remove double provideGravatar David Aspinall2010-08-11
* isabelle-string-face: switch to a more traditional greenGravatar David Aspinall2010-08-11
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 20:42:33 +0000