aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2010-08-23UpdatedDavid Aspinall
2010-08-22proof-fast-process-buffer: switch on by default if looks like Mac port (ns fe...David Aspinall
2010-08-22Fix bug in define-key for mouse-3.David Aspinall
2010-08-22Use C-c C-H for proof-help as suggested in Trac #341, since C-c h clashes wit...David Aspinall
2010-08-22Change binding for coq-PrintHint as suggested in Trac #341David Aspinall
2010-08-22Move binding of proof-help from C-c C-h to C-c h (see Trac #341)David Aspinall
2010-08-22isar-describe-help-keys: remove this, available by default as C-c C-a h C-hDavid Aspinall
2010-08-20declare trace_simp in Isar, not ML;Makarius Wenzel
2010-08-20Remove dead codeDavid Aspinall
2010-08-20UpdateDavid Aspinall
2010-08-20Support Unicode from tokens. Add export for whole directoryDavid Aspinall
2010-08-20Mention Fast Process BufferDavid Aspinall
2010-08-19Add Fast Process Buffer optionDavid Aspinall
2010-08-19Set version tag for new release.David Aspinall
2010-08-19proof-shell-process-connection-type: Revert to long-lived previous default of...David Aspinall
2010-08-19Add doc for Send Automatically optionDavid Aspinall
2010-08-19Update ML (but still doesn't work: how to turn on tracing in ML?)David Aspinall
2010-08-19Remove obsolete timingsDavid Aspinall
2010-08-19CommentsDavid Aspinall
2010-08-19Default to non-italic symbol font variant for Mac OS X. Simplify font changi...David Aspinall
2010-08-19Update link to STIX fontsDavid Aspinall
2010-08-19Clarify behaviour of copy-paste for token variants: it works fine in PGDavid Aspinall
2010-08-19iasbelle-string-face: Remove italic from defaults becauseDavid Aspinall
2010-08-18Simplify installation instructionsDavid Aspinall
2010-08-18Another test fileDavid Aspinall
2010-08-18Remove redisplay from wait loop, only redisplay on exit. Big speed-upDavid Aspinall
2010-08-18ReorderDavid Aspinall
2010-08-18Fix wiki linksDavid Aspinall
2010-08-18proof-autosend-loop: don't enter if shell is already busy processingDavid Aspinall
2010-08-18proof-shell-start: tidy upDavid Aspinall
2010-08-18Minor rearrangeDavid Aspinall
2010-08-18unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display insteadDavid Aspinall
2010-08-18Remove clashing key binding for C-c C-sDavid Aspinall
2010-08-18Work on Trac #335 (broken old style script management)David Aspinall
2010-08-18Tune profilingDavid Aspinall
2010-08-18Updated with recent figures from Mac OS X.David Aspinall
2010-08-18UpdatedDavid Aspinall
2010-08-18proof-shell-process-connection-type: remove near obsolete test and textDavid Aspinall
2010-08-18proof-debug advice: Fix passing format argDavid Aspinall
2010-08-18Style fixesDavid Aspinall
2010-08-18Improve messageDavid Aspinall
2010-08-18Style fix in messagesDavid Aspinall
2010-08-18Load elp firstDavid Aspinall
2010-08-18hack to ELP to give better readability of profile results, in millisecondsDavid Aspinall
2010-08-18Clean flag settings for profiling. Add AHundredProofs.David Aspinall
2010-08-18Correct comment; try setting process-adaptive-read-buffering to nil.David Aspinall
2010-08-18Turn off parallel proofs setting (no noticeable difference for this test file)David Aspinall
2010-08-18Add command bound to C-c C-a h ? to show available help keysDavid Aspinall
2010-08-17Re Trac #324:David Aspinall
2010-08-17Autosend: don't autosend after undoing; add proof-shell-last-queuemode to sup...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-24 11:38:59 +0000