aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Comments.Gravatar David Aspinall2005-05-31
* Document proof-shell-start, proof-shell-exit keysGravatar David Aspinall2005-05-31
* use physical path;Gravatar Makarius Wenzel2005-05-31
* tuned;Gravatar Makarius Wenzel2005-05-31
* removed find_rwrites, print_intros;Gravatar Makarius Wenzel2005-05-22
* Updated.Gravatar David Aspinall2005-05-17
* Fix menu path to CustomizeGravatar David Aspinall2005-05-17
* Set version tag for new release.Gravatar David Aspinall2005-05-17
* - Don't just reuse visible frames but also iconified ones.Gravatar David Aspinall2005-05-17
* Documentation.Gravatar David Aspinall2005-05-17
* Disable Twelf support by defaultGravatar David Aspinall2005-05-17
* Fix the removal of ".UTF-8" from LANG.Gravatar David Aspinall2005-05-17
* Updated.Gravatar David Aspinall2005-05-17
* Add missing lib/Gravatar David Aspinall2005-05-17
* - shell-command-to-string can fail in various corner cases.Gravatar David Aspinall2005-05-17
* - Remove wrong docstring on make-detached-span.Gravatar David Aspinall2005-05-17
* Deleted fileGravatar David Aspinall2005-05-17
* Updated.Gravatar David Aspinall2005-05-17
* added -L option;Gravatar Makarius Wenzel2005-05-17
* undeleted;Gravatar Makarius Wenzel2005-05-10
* Add FAQ about favouritesGravatar David Aspinall2005-04-27
* added some entris in coq menus.Gravatar Pierre Courtieu2005-04-21
* cleaned a bit coq.el (checkdoc). Put some comments to tell what is toGravatar Pierre Courtieu2005-04-20
* New backtracking system for coq continues, this time it uses a new CoqGravatar Pierre Courtieu2005-04-20
* Updated.Gravatar David Aspinall2005-03-25
* New files.Gravatar David Aspinall2005-03-25
* Set version tag for new release.Gravatar David Aspinall2005-03-25
* Updated.Gravatar David Aspinall2005-03-25
* Remove project todosGravatar David Aspinall2005-03-25
* Remove junkGravatar David Aspinall2005-03-25
* Deleted fileGravatar David Aspinall2005-03-23
* Use another symbolGravatar David Aspinall2005-03-23
* Changes from Clemens Ballarin for large X-Symbol fontsGravatar David Aspinall2005-03-23
* New files.Gravatar David Aspinall2005-03-23
* Large fontsGravatar David Aspinall2005-03-23
* Updated.Gravatar David Aspinall2005-03-21
* Mention Stefan's patchesGravatar David Aspinall2005-03-21
* debugging and cleaning of holes.el.Gravatar Pierre Courtieu2005-03-10
* small modifications, updating doc string of holes.el.Gravatar Pierre Courtieu2005-03-08
* making holes.el cleaner, with the help of Stefan Monnier. I had toGravatar Pierre Courtieu2005-03-08
* cleaning holes.el, starting to making it compatible with skeletons.Gravatar Pierre Courtieu2005-03-01
* debugging of holes.el.Gravatar Pierre Courtieu2005-03-01
* Debugging holes.el, starting trying to use skeletons.Gravatar Pierre Courtieu2005-02-21
* Cleaning file holes.el (tab-width, docstring etc).Gravatar Pierre Courtieu2005-02-21
* Updated the doc for new pg/coq. Made modifications advised by StefanGravatar Pierre Courtieu2005-02-17
* debugging the new holes-mode for fsf emacs. Keyboard shortcuts wasGravatar Pierre Courtieu2005-02-16
* Update FAQ for X-Symbol large fonts (from Clemens Ballarin)Gravatar David Aspinall2005-02-15
* Modified holes doc string to fit to new shortcut of holes-mode.Gravatar Pierre Courtieu2005-02-15
* Changes from Clemens Ballarin for large X-Symbol fontsGravatar David Aspinall2005-02-15
* New files.Gravatar David Aspinall2005-02-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 15:46:41 +0000