aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2002-07-18New files.David Aspinall
2002-07-18Mention how to enable X-Symbol.David Aspinall
2002-07-18Add FAQ about enabling X-Symbol.David Aspinall
2002-07-18Nuke X-sym warningsDavid Aspinall
2002-07-18Remove obsolete functionDavid Aspinall
2002-07-18More testsDavid Aspinall
2002-07-18Use x-symbol-enable switch to see whether to include sub/super/bold flks.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-19 19:01:47 +0000