aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Beginnings of x-symbol support.Gravatar David Aspinall1998-12-18
* File sent by David von Oheimb.Gravatar David Aspinall1998-12-18
* Added proof-assistant-symbolGravatar David Aspinall1998-12-18
* Elaborated on scripting language limitations Isabelle "bug"Gravatar David Aspinall1998-12-18
* Set version tag for new release.Gravatar David Aspinall1998-12-17
* Instructions how to hack another CVS tag.Gravatar David Aspinall1998-12-17
* Set version tag for new release.Gravatar David Aspinall1998-12-17
* Added todo for simplifying main download page, linking to pre-release.Gravatar David Aspinall1998-12-17
* Removed .cvsignore files from distribution.Gravatar David Aspinall1998-12-17
* Set version tag for new release.Gravatar David Aspinall1998-12-17
* Updated docstring.Gravatar David Aspinall1998-12-17
* Removed a todo. This version submitted for Texinfo.Gravatar David Aspinall1998-12-17
* Newline after first sentence. Submitted for Texinfo distribution.Gravatar David Aspinall1998-12-17
* Updated magic. (Extra newlines added).Gravatar David Aspinall1998-12-17
* Updated to use local validator.Gravatar David Aspinall1998-12-17
* Fixed web address for documentation.Gravatar David Aspinall1998-12-17
* Added Latest news section to preface to point to home page.Gravatar David Aspinall1998-12-17
* Link to TOC of documentation html.Gravatar David Aspinall1998-12-17
* Split chapters of html for easier browsing.Gravatar David Aspinall1998-12-17
* Fixed spelling error.Gravatar David Aspinall1998-12-17
* This file records user-visible changes between versions.Gravatar David Aspinall1998-12-17
* Fixed bugs.Gravatar David Aspinall1998-12-17
* Set version tag for new release.Gravatar David Aspinall1998-12-16
* Included the rest of the info files in the package.Gravatar David Aspinall1998-12-16
* Fixup for filenameGravatar David Aspinall1998-12-16
* Removed info file name space, again, arrgggh.Gravatar David Aspinall1998-12-16
* Fixed info dir again. Removed detailed menu.Gravatar David Aspinall1998-12-16
* Added back space in info file nameGravatar David Aspinall1998-12-16
* Set version tag for new release.Gravatar David Aspinall1998-12-16
* Reverted to previous semanticsGravatar David Aspinall1998-12-16
* Updated magic.Gravatar David Aspinall1998-12-16
* Added a menu.Gravatar David Aspinall1998-12-16
* Note about texinfo menu update.Gravatar David Aspinall1998-12-16
* Made delete-region arg optional for proof-retract-until-point-interactive.Gravatar David Aspinall1998-12-16
* Removed space from ProofGeneral name.Gravatar David Aspinall1998-12-16
* Added space after colon in info dir entry.Gravatar David Aspinall1998-12-16
* Fixed INFO-DIR-ENTRY (newline was lost)Gravatar David Aspinall1998-12-16
* Todo for putting Info somewhere good in the dir.Gravatar David Aspinall1998-12-16
* Set version tag for new release.Gravatar Thomas Kleymann1998-12-16
* towards prerelease 2.1Gravatar Thomas Kleymann1998-12-16
* Set version tag for new release.Gravatar Thomas Kleymann1998-12-16
* structured announcement some moreGravatar Thomas Kleymann1998-12-16
* Made outstanding bugs we haven't investigated a single A item.Gravatar David Aspinall1998-12-16
* Updated magic once moreGravatar David Aspinall1998-12-16
* Added Coq test results. Made reverse chronological order.Gravatar David Aspinall1998-12-16
* further documentation of LEGO specific bugGravatar Thomas Kleymann1998-12-16
* Some hacks to make markup happen.Gravatar David Aspinall1998-12-16
* Tweaked docstring for C-c C-u.Gravatar David Aspinall1998-12-16
* Removed all urgent TODOs for 2.0Gravatar David Aspinall1998-12-16
* rationalised keybinding (again)Gravatar Thomas Kleymann1998-12-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 02:24:03 +0000