aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2007-05-11Experimental patch for unicode/mac supportDavid Aspinall
2007-05-11Unicode patch, in progressDavid Aspinall
2007-05-11Patch for MacDavid Aspinall
2007-05-11New files.David Aspinall
2007-05-11Font from Norbert VoelkerDavid Aspinall
2007-05-11Target for dfontDavid Aspinall
2007-05-10Path for docstring-magicDavid Aspinall
2007-05-10Fix library nameDavid Aspinall
2007-05-10Set version tag for new release.David Aspinall
2007-05-10Disable unicode use on LEGO, uses escape prefixDavid Aspinall
2007-05-10Note trac generic user pgemacs/pgemacsDavid Aspinall
2007-05-10Add experimental find theorems form (not working on all Emacs yet)David Aspinall
2007-05-10Patch for utf-8 testDavid Aspinall
2007-05-10Emulate find-coding-system for GNU EmacsDavid Aspinall
2007-05-10New files.David Aspinall
2007-05-10Fix walk through example for Isabelle2007, including missing lineDavid Aspinall
pointed out by Ivan Filippenko.
2007-05-10pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ↵David Aspinall
messages.
2007-05-10Add proof-replace-regexp-nocasefoldDavid Aspinall
2007-05-10Fixed prompt regexp.Pierre Courtieu
2007-05-10Never use special chars with >= coq-8.1.Pierre Courtieu
proof-shell-unicode set to nil by default because of xemacs which needs a library for utf-8.
2007-05-10Fixed coq prog persistent setting.Pierre Courtieu
2007-05-08x-symbol-isabelle-font-lock-regexp: demand subsequent non-space character;Makarius Wenzel
2007-05-08undo: removed confusing comment;Makarius Wenzel
2007-05-08tuned cannot-undo;Makarius Wenzel
2007-05-08added isar-cmd-sledgehammer;Makarius Wenzel
2007-05-08tuned Isabelle entry;Makarius Wenzel
2007-05-08tuned pg-special-char-regexp;Makarius Wenzel
2007-04-30Make proof-shell-unicode non-nil by defaultDavid Aspinall
2007-04-27Experimenting smarter window creation when in three windowsPierre Courtieu
mode. Strategy is: always try to split an associated buffer window.
2007-04-26Fixing auto shrink in coq three window mode, to avoid windowPierre Courtieu
disappearing.
2007-04-26Fixed the "Time Qed." mistreating (now recognized as a save commandPierre Courtieu
and make spans agregation ok).
2007-04-26Added some unknown keyword (not changing state). Fixes bug 113 from emakarov.MPierre Courtieu
2007-04-25Small fixes.Pierre Courtieu
2007-04-23small coloring fix.Pierre Courtieu
2007-04-23Fixed bug 111. Scroll response window to see goal and as muchPierre Courtieu
hypothesis as possible.
2007-04-23Fixing bug 110 for SearchRewrite en SearchAbout coq commends.Pierre Courtieu
2007-04-23Adapting last features to fsf emacs.Pierre Courtieu
2007-04-23Clean comments around eval-and-compile proof-modeDavid Aspinall
2007-04-23Added things in CHANGES.Pierre Courtieu
2007-04-20Adapting error highlighting (coq) to x-symbol.Pierre Courtieu
2007-04-20Add a shrink adapting hook for coq response buffer.Pierre Courtieu
2007-04-18Adding comments to experimental response buffer height adapting.Pierre Courtieu
2007-04-16Experimental feature: in three buffer mode: shrink response window asPierre Courtieu
much as possible.
2007-04-16Fixed a parenthesis, suggested by Stefan Monnier.Pierre Courtieu
2007-04-16Small fixes from Stefan Monnier.Pierre Courtieu
2007-04-16Patch from Stefan Monnier.Pierre Courtieu
2007-04-16Adapted to hybrid response/goals outputs from coq. We need somethingPierre Courtieu
generic on that. Currently I use proof-shell-process-output-system-specific.
2007-04-16Made coq version 8.1 the default.Pierre Courtieu
2007-03-26Change in a regexp for coq-shell-prompt.Pierre Courtieu
2007-03-19Fix links to BUGS and FAQDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 00:11:54 +0000