aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2004-04-06
* Add pgshell to proof-assistant-table, remove pgkit for now.Gravatar David Aspinall2004-04-06
* Adjust proof-script-comment-end and comment-end to hold empty string for end-...Gravatar David Aspinall2004-04-06
* Adjust proof-script-comment-end to fix comment-end to be empty for end-of-lin...Gravatar David Aspinall2004-04-06
* Another day, another prover:Gravatar cxl2004-04-06
* Set version tag for new release.Gravatar David Aspinall2004-04-05
* Fixed the short doc on holesGravatar Pierre Courtieu2004-04-05
* Set version tag for new release.Gravatar David Aspinall2004-04-02
* Turn on experimental features for 3.5. Adjust display settings.Gravatar David Aspinall2004-04-02
* Overhaul and fixes for display management.Gravatar David Aspinall2004-04-02
* CommentsGravatar David Aspinall2004-04-02
* Use proof-shell-wait; comments.Gravatar David Aspinall2004-04-02
* More elaborate error messages in proof-easy-config-check-setup.Gravatar David Aspinall2004-04-02
* Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to s...Gravatar David Aspinall2004-04-02
* Add various GNU <-> XE compatibility functions for display.Gravatar David Aspinall2004-04-02
* Comments. Beginning of drag region code.Gravatar David Aspinall2004-04-02
* Adjust proof-shell-wait to use less CPU w/o timeoutGravatar David Aspinall2004-03-30
* Add get-window-with-predicate to perhaps solve issue with XEmacs.Gravatar David Aspinall2004-03-30
* Add proof-assistant-symbol to (spurious) error msgGravatar David Aspinall2004-03-30
* generic-find-and-forget: handle proof-forget-id-command not being setGravatar David Aspinall2004-03-30
* Mention importance of proof-shell-annotated-prompt-regexp.Gravatar David Aspinall2004-03-30
* Set version tag for new release.Gravatar David Aspinall2004-03-23
* .v7 and .v8 added as coq file possible extensions.Gravatar Pierre Courtieu2004-03-19
* holes debugging.Gravatar Pierre Courtieu2004-03-17
* menu, holes and abbrev made better.Gravatar Pierre Courtieu2004-03-17
* bug fix in holes (call to proof-indent-line instead of funcallGravatar Pierre Courtieu2004-03-15
* holes-short-doc now is in view-mode.Gravatar Pierre Courtieu2004-03-10
* dealing with compile warning for new "hole" code (end hopefully).Gravatar Pierre Courtieu2004-03-10
* modification to avoid compile warnings (end)Gravatar Pierre Courtieu2004-03-10
* slight modif of holes short doc.Gravatar Pierre Courtieu2004-03-10
* x-get-selection is obsolete for xemacs, made a macroGravatar Pierre Courtieu2004-03-10
* bug correctionsGravatar Pierre Courtieu2004-03-10
* Set version tag for new release.Gravatar David Aspinall2004-03-02
* Fix a few compiler warningsGravatar David Aspinall2004-03-02
* Switch ?\ -> ?\040 (Joe Corneli reports problem with CVS GNU Emacs)Gravatar David Aspinall2004-03-02
* Fix Emacs icon name clash problemGravatar David Aspinall2004-03-01
* Fix buglets shown up by byte compilation.Gravatar David Aspinall2004-03-01
* Set version tag for new release.Gravatar David Aspinall2004-03-01
* Beginnings of parsescript supportGravatar David Aspinall2004-02-29
* Comments.Gravatar David Aspinall2004-02-28
* little bug correction of holesGravatar Pierre Courtieu2004-02-26
* little changes in the holes short docGravatar Pierre Courtieu2004-02-26
* little changes of menu/holes/abbrev in coq/pgGravatar Pierre Courtieu2004-02-26
* added submenus for command insertion for coq. menu uses abbrevGravatar Pierre Courtieu2004-02-19
* added some lines in holes short doc. And some abbrevs for coq.Gravatar Pierre Courtieu2004-02-19
* added some words to hole short docGravatar Pierre Courtieu2004-02-19
* last commit was incompleteGravatar Pierre Courtieu2004-02-19
* Update (C)Gravatar David Aspinall2004-02-18
* holes implementation, it uses span.el. mouse keybindings workGravatar Pierre Courtieu2004-02-18
* forgot some functions in span-extent.el. This is like the previousGravatar Pierre Courtieu2004-02-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-31 04:13:19 +0000