aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1998-12-17Removed a todo. This version submitted for Texinfo.David Aspinall
1998-12-17Newline after first sentence. Submitted for Texinfo distribution.David Aspinall
1998-12-17Updated magic. (Extra newlines added).David Aspinall
1998-12-17Updated to use local validator.David Aspinall
1998-12-17Fixed web address for documentation.David Aspinall
1998-12-17Added Latest news section to preface to point to home page.David Aspinall
1998-12-17Link to TOC of documentation html.David Aspinall
1998-12-17Split chapters of html for easier browsing.David Aspinall
1998-12-17Fixed spelling error.David Aspinall
1998-12-17This file records user-visible changes between versions.David Aspinall
1998-12-17Fixed bugs.David Aspinall
1998-12-16Set version tag for new release.David Aspinall
1998-12-16Included the rest of the info files in the package.David Aspinall
1998-12-16Fixup for filenameDavid Aspinall
1998-12-16Removed info file name space, again, arrgggh.David Aspinall
1998-12-16Fixed info dir again. Removed detailed menu.David Aspinall
1998-12-16Added back space in info file nameDavid Aspinall
1998-12-16Set version tag for new release.David Aspinall
1998-12-16Reverted to previous semanticsDavid Aspinall
1998-12-16Updated magic.David Aspinall
1998-12-16Added a menu.David Aspinall
1998-12-16Note about texinfo menu update.David Aspinall
1998-12-16Made delete-region arg optional for proof-retract-until-point-interactive.David Aspinall
1998-12-16Removed space from ProofGeneral name.David Aspinall
1998-12-16Added space after colon in info dir entry.David Aspinall
1998-12-16Fixed INFO-DIR-ENTRY (newline was lost)David Aspinall
1998-12-16Todo for putting Info somewhere good in the dir.David Aspinall
1998-12-16Set version tag for new release.Thomas Kleymann
1998-12-16towards prerelease 2.1Thomas Kleymann
1998-12-16Set version tag for new release.Thomas Kleymann
1998-12-16structured announcement some moreThomas Kleymann
1998-12-16Made outstanding bugs we haven't investigated a single A item.David Aspinall
1998-12-16Updated magic once moreDavid Aspinall
1998-12-16Added Coq test results. Made reverse chronological order.David Aspinall
1998-12-16further documentation of LEGO specific bugThomas Kleymann
1998-12-16Some hacks to make markup happen.David Aspinall
1998-12-16Tweaked docstring for C-c C-u.David Aspinall
1998-12-16Removed all urgent TODOs for 2.0David Aspinall
1998-12-16rationalised keybinding (again)Thomas Kleymann
1998-12-16improved default keybindingsThomas Kleymann
1998-12-16Removed suspected bug mentioned by David von O. Now assumed toDavid Aspinall
1998-12-16Added GPL license (I wrote this at home).David Aspinall
1998-12-16added proof-shell-exit test descriptionThomas Kleymann
1998-12-16Fixed default for proof-shell-quit-cmd.David Aspinall
1998-12-16documented LEGO specific bugThomas Kleymann
1998-12-16minor changes in the HistoryThomas Kleymann
1998-12-16. clarified history of multiple filesThomas Kleymann
1998-12-15Docstring tweakDavid Aspinall
1998-12-15Changed title of Chap 10.David Aspinall
1998-12-15Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 19:09:58 +0000