aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2010-08-17autosend loop: wait for shell after sending interrupt (ensures output processingDavid Aspinall
2010-08-17Set version tag for new release.David Aspinall
2010-08-17Fix key bindings. Ref Trac#334David Aspinall
2010-08-17proof-shell-action-list-item: fix type for flags as an element, not a cdrDavid Aspinall
2010-08-17Critical sync fix: in pending interrupts case be sure toDavid Aspinall
2010-08-17Note about fix required to proof-autosend-error-pointDavid Aspinall
2010-08-17quit-prover: avoid kill buffer query questionDavid Aspinall
2010-08-17pg-response-has-error-location: save point in response bufferDavid Aspinall
2010-08-17WhitespaceDavid Aspinall
2010-08-17Minor tweaks to versions, etc.David Aspinall
2010-08-17CommentsDavid Aspinall
2010-08-17Bump Emacs versionDavid Aspinall
2010-08-17Clean up handling of pending interrupts, remove experimental proof-shell-inte...David Aspinall
2010-08-17Autosend: prevent repeatedly sending erroneous commands (in progress)David Aspinall
2010-08-17Remove duplicate declarationDavid Aspinall
2010-08-17Make the modeline indicator change colour. Old XEmacs behaviour restored. Q...David Aspinall
2010-08-16Set proof-shell-interrupts-after-commit = nilDavid Aspinall
2010-08-16Fix compile errors, update tagsDavid Aspinall
2010-08-15proof-issue-new-command: remove spurious goto-char (ref Trac #330)David Aspinall
2010-08-15Remove superfluous spaces (re Trac #331).David Aspinall
2010-08-15Preliminary and experimental support for automatically sending commands.David Aspinall
2010-08-15Update.David Aspinall
2010-08-15proof-shell-interrupts-after-commit: support commit-before-interrupt mode [ex...David Aspinall
2010-08-15Fix menu/node order inside internal chapterDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 08:29:18 +0000