aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Add some more creditsGravatar David Aspinall2010-08-23
* Add some more creditsGravatar David Aspinall2010-08-23
* Prevent electric terminator modeline effect in non proof script modes.Gravatar David Aspinall2010-08-23
* UpdatedGravatar David Aspinall2010-08-23
* proof-fast-process-buffer: switch on by default if looks like Mac port (ns fe...Gravatar David Aspinall2010-08-22
* Fix bug in define-key for mouse-3.Gravatar David Aspinall2010-08-22
* Use C-c C-H for proof-help as suggested in Trac #341, since C-c h clashes wit...Gravatar David Aspinall2010-08-22
* Change binding for coq-PrintHint as suggested in Trac #341Gravatar David Aspinall2010-08-22
* Move binding of proof-help from C-c C-h to C-c h (see Trac #341)Gravatar David Aspinall2010-08-22
* isar-describe-help-keys: remove this, available by default as C-c C-a h C-hGravatar David Aspinall2010-08-22
* declare trace_simp in Isar, not ML;Gravatar Makarius Wenzel2010-08-20
* Remove dead codeGravatar David Aspinall2010-08-20
* UpdateGravatar David Aspinall2010-08-20
* Support Unicode from tokens. Add export for whole directoryGravatar David Aspinall2010-08-20
* Mention Fast Process BufferGravatar David Aspinall2010-08-20
* Add Fast Process Buffer optionGravatar David Aspinall2010-08-19
* Set version tag for new release.Gravatar David Aspinall2010-08-19
* proof-shell-process-connection-type: Revert to long-lived previous default of...Gravatar David Aspinall2010-08-19
* Add doc for Send Automatically optionGravatar David Aspinall2010-08-19
* Update ML (but still doesn't work: how to turn on tracing in ML?)Gravatar David Aspinall2010-08-19
* Remove obsolete timingsGravatar David Aspinall2010-08-19
* CommentsGravatar David Aspinall2010-08-19
* Default to non-italic symbol font variant for Mac OS X. Simplify font changi...Gravatar David Aspinall2010-08-19
* Update link to STIX fontsGravatar David Aspinall2010-08-19
* Clarify behaviour of copy-paste for token variants: it works fine in PGGravatar David Aspinall2010-08-19
* iasbelle-string-face: Remove italic from defaults becauseGravatar David Aspinall2010-08-19
* Simplify installation instructionsGravatar David Aspinall2010-08-18
* Another test fileGravatar David Aspinall2010-08-18
* Remove redisplay from wait loop, only redisplay on exit. Big speed-upGravatar David Aspinall2010-08-18
* ReorderGravatar David Aspinall2010-08-18
* Fix wiki linksGravatar David Aspinall2010-08-18
* proof-autosend-loop: don't enter if shell is already busy processingGravatar David Aspinall2010-08-18
* proof-shell-start: tidy upGravatar David Aspinall2010-08-18
* Minor rearrangeGravatar David Aspinall2010-08-18
* unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display insteadGravatar David Aspinall2010-08-18
* Remove clashing key binding for C-c C-sGravatar David Aspinall2010-08-18
* Work on Trac #335 (broken old style script management)Gravatar David Aspinall2010-08-18
* Tune profilingGravatar David Aspinall2010-08-18
* Updated with recent figures from Mac OS X.Gravatar David Aspinall2010-08-18
* UpdatedGravatar David Aspinall2010-08-18
* proof-shell-process-connection-type: remove near obsolete test and textGravatar David Aspinall2010-08-18
* proof-debug advice: Fix passing format argGravatar David Aspinall2010-08-18
* Style fixesGravatar David Aspinall2010-08-18
* Improve messageGravatar David Aspinall2010-08-18
* Style fix in messagesGravatar David Aspinall2010-08-18
* Load elp firstGravatar David Aspinall2010-08-18
* hack to ELP to give better readability of profile results, in millisecondsGravatar David Aspinall2010-08-18
* Clean flag settings for profiling. Add AHundredProofs.Gravatar David Aspinall2010-08-18
* Correct comment; try setting process-adaptive-read-buffering to nil.Gravatar David Aspinall2010-08-18
* Turn off parallel proofs setting (no noticeable difference for this test file)Gravatar David Aspinall2010-08-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 12:04:32 +0000