aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-08-07Reorganized menus; add options save function; fix capitalization of namesDavid Aspinall
2002-08-07Add require, fix menu capitalization.David Aspinall
2002-08-07Menu capitalization; support email addr.David Aspinall
2002-08-07New files.David Aspinall
2002-08-07Updated.David Aspinall
2002-08-07CommentsDavid Aspinall
2002-08-07Autoload fixDavid Aspinall
2002-08-07Update from PC, sent 5.8.02David Aspinall
2002-07-29This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2002-07-29X-Symbol version 4.45 betaDavid Aspinall
2002-07-27Finished the changing of names of config. variables (coq-user...).Pierre Courtieu
2002-07-26Changed a bit more the doc and the CHANGES file, to bePierre Courtieu
2002-07-26Changed once again the backtrack mechanism, it corresponds to what wePierre Courtieu
2002-07-26The doc for coq-user-... variables is a bit better, their name hasPierre Courtieu
2002-07-25change to support version 4.4 of x-symbolChristophe Raffalli
2002-07-25change to support version 4.4 of x-symbolChristophe Raffalli
2002-07-19Updated.David Aspinall
2002-07-19Known issuesDavid Aspinall
2002-07-19Support missing/faked isatoolDavid Aspinall
2002-07-19Merge changes and comments sent by Christoph WedlerDavid Aspinall
2002-07-19Updated.David Aspinall
2002-07-19Set version tag for new release.David Aspinall
2002-07-19ReplaceDavid Aspinall
2002-07-19Set version tag for new release.David Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-19SpacingDavid Aspinall
2002-07-19Bug in load-isar-keywordsDavid Aspinall
2002-07-19Updated.David Aspinall
2002-07-19Mention fav improvsDavid Aspinall
2002-07-19UpdatedDavid Aspinall
2002-07-19Reduce proof-shell-quite-timeoutDavid Aspinall
2002-07-19Ignore todo.defunctDavid Aspinall
2002-07-19New files.David Aspinall
2002-07-19Add todo to tagsDavid Aspinall
2002-07-19Move imagep compat code to splashDavid Aspinall
2002-07-19Make favourites mechanism more robust; add delete command.David Aspinall
2002-07-19Trivially simulate events-to-keysDavid Aspinall
2002-07-18X-sym bugDavid Aspinall
2002-07-18Add yet more settings X-Sym complains about.David Aspinall
2002-07-18Fix markupDavid Aspinall
2002-07-18Add Tobias suggestion about font sizesDavid Aspinall
2002-07-18Move fileshow code into libDavid Aspinall
2002-07-18Link FAQ.David Aspinall
2002-07-18New files.David Aspinall
2002-07-18UpdateDavid Aspinall
2002-07-18Dont call dont-show-annotations for GNU Emacs to avoid nasty bug.David Aspinall
2002-07-18Investigation of proof-zap-commas failure in GNU Emacs; comments, no results.David Aspinall
2002-07-18Updated.David Aspinall
2002-07-18Fix bug in proof-zap-commas-region (which is anyway faulty)David Aspinall
2002-07-18Record bug as solved.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-18 10:00:21 +0000