aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-04-06Set version tag for new release.David Aspinall
2004-04-06added some commands in coq menuPierre Courtieu
2004-04-06Add -d to first update in tagDavid Aspinall
2004-04-06fixed coq xsymb table.Pierre Courtieu
2004-04-06Fix READMEDavid Aspinall
2004-04-06CommentsDavid Aspinall
2004-04-06Add pgshell to proof-assistant-table, remove pgkit for now.David Aspinall
2004-04-06Adjust proof-script-comment-end and comment-end to hold empty string for end-...David Aspinall
2004-04-06Adjust proof-script-comment-end to fix comment-end to be empty for end-of-lin...David Aspinall
2004-04-06Set syntax table for comments, turn on fly-past-commetns.David Aspinall
2004-04-06Comments.David Aspinall
2004-04-06Trivial instance of PG for shell scripts.David Aspinall
2004-04-06Added example count undos function (completely untested)David Aspinall
2004-04-06Added correct instance for proof-goal-command-regexp; makes undo work.cxl
2004-04-06Another day, another prover:cxl
2004-04-06Updated.David Aspinall
2004-04-05Set version tag for new release.David Aspinall
2004-04-05updated CHANGES for CoqPierre Courtieu
2004-04-05added coq changes for 3.5 release.Pierre Courtieu
2004-04-05Fixed the short doc on holesPierre Courtieu
2004-04-05Updated.David Aspinall
2004-04-05Fixed coq x-symbols. now alphaa is not encoded, aalpha is not encoded,Pierre Courtieu
2004-04-05fixed single char sub/super script in goals/response windowGerwin Klein
2004-04-05new test case for \<^isub>Gerwin Klein
2004-04-03Update version to 3.5David Aspinall
2004-04-02More sub/super examples.David Aspinall
2004-04-02Add extra term test -- shows up current bugDavid Aspinall
2004-04-02More comments/test printing.David Aspinall
2004-04-02Add test of spanning sup/subDavid Aspinall
2004-04-02Updated.David Aspinall
2004-04-02Set version tag for new release.David Aspinall
2004-04-02Update magicDavid Aspinall
2004-04-02Update documentation of different display modesDavid Aspinall
2004-04-02CommentsDavid Aspinall
2004-04-02Remove/fix some junkDavid Aspinall
2004-04-02Use official indentation\!David Aspinall
2004-04-02Remove three-buffer stuff (made generic)David Aspinall
2004-04-02Updated.David Aspinall
2004-04-02Turn on experimental features for 3.5. Adjust display settings.David Aspinall
2004-04-02Overhaul and fixes for display management.David Aspinall
2004-04-02CommentsDavid Aspinall
2004-04-02Use proof-shell-wait; comments.David Aspinall
2004-04-02More elaborate error messages in proof-easy-config-check-setup.David Aspinall
2004-04-02Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to s...David Aspinall
2004-04-02Add various GNU <-> XE compatibility functions for display.David Aspinall
2004-04-02Comments. Beginning of drag region code.David Aspinall
2004-04-01changed ths syntax for sub/superscript:Pierre Courtieu
2004-03-31added subscript in x-symbols-coq.el.Pierre Courtieu
2004-03-30debugging coq-x-symbols.elPierre Courtieu
2004-03-30added the forall x-symbol to the indent keywords lists.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-19 05:38:28 +0000