aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2004-04-13Indentation of proof-with-current-buffer-if-existsDavid Aspinall
2004-04-13Abstract out proof-maybe-askprefsDavid Aspinall
2004-04-13Abstract out proof-end-of-locked-visible-pDavid Aspinall
2004-04-13Comment.David Aspinall
2004-04-13Fix comment.David Aspinall
2004-04-13Fix long-lived typo in setting auto-mode-alist.David Aspinall
2004-04-13Set proof-goal-with-hole-result to account for use of shy grouping in ↵David Aspinall
goal-with-hole regexp.
2004-04-13Note about x-symbol warning on locale.David Aspinall
2004-04-13Add hint to C-c C-l; cleanup hints, add menu for C-c C-lDavid Aspinall
2004-04-13Mention plans to implement PGIP support.David Aspinall
2004-04-13Mention plan to use CEDET.David Aspinall
2004-04-13Tweak disabling of X-Symbol packages to allow user toDavid Aspinall
delete x-symbol subdir.
2004-04-13Mention new instances of PG.David Aspinall
2004-04-13New files.David Aspinall
2004-04-13Disable any other x-symbol packages found by XEmacs (uses defadvice)David Aspinall
2004-04-13*** empty log message ***David Aspinall
2004-04-13Modified logic in ccc-count-undos --- thinking that "holcasl"David Aspinall
command itself is not supposed to be counted.
2004-04-13Ooops.David Aspinall
2004-04-13Modify ccc-count-undos according to Christoph's spec.David Aspinall
2004-04-08Added font-locking and improved undo functionality.cxl
2004-04-06*** empty log message ***David Aspinall
2004-04-06*** empty log message ***David Aspinall
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 ↵David Aspinall
end-of-line terminated comments.
2004-04-06Adjust proof-script-comment-end to fix comment-end to be empty for ↵David Aspinall
end-of-line comments.
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
added support for the Casl Consistency Checker (file name extension: .ccc).
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
but alpha_, _alpha and _alpha_ are decoded.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 10:57:22 +0000