aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-01-21Updated. Long standing pty overflow bug fixed. We registration page wanted.David Aspinall
1999-01-21Tested piped communication in emacs-20.3David Aspinall
1999-01-21Rearranged into reverse chronological orderDavid Aspinall
1999-01-21Improved test file so that it works correctly with installed LEGO 1.3.1Thomas Kleymann
1999-01-18added Solaris-specific path. Requires LEGO versions more recent than 1.3.1Thomas Kleymann
1999-01-18does indeed crash Proof General, Version 2.1pre990112Thomas Kleymann
1999-01-15Set version tag for new release.David Aspinall
1999-01-15Experimental bug fix for Solaris problemDavid Aspinall
1999-01-15todo for testing solaris bug fixDavid Aspinall
1999-01-15Ambitiously mentioned bug fix for Solaris problemDavid Aspinall
1999-01-15Test has backward slashes now, not forwards ones..David Aspinall
1999-01-15Added putative test for Isabelle and long lines with backslash.David Aspinall
1999-01-15Test file for long lines with backslashes.David Aspinall
1999-01-15Added todo for licence clarification after query from a user.David Aspinall
1999-01-15Updated.David Aspinall
1999-01-15Web page links to Proof General from provers now added.David Aspinall
1999-01-13added links from LEGO Web pageThomas Kleymann
1999-01-12Set version tag for new release.David Aspinall
1999-01-12Raised priority of Solaris bug/problem.David Aspinall
1999-01-12Changed read-no-blanks-input to read-string, former is defunct.David Aspinall
1999-01-12Mention of continued-input prompt as API guidline.David Aspinall
1999-01-12Better description of Solaris bug/feature.David Aspinall
1998-12-18Missing bracket.David Aspinall
1998-12-18Set version tag for new release.David Aspinall
1998-12-18Fixup branchDavid Aspinall
1998-12-18Fixup branch.David Aspinall
1998-12-18x-symbol support beginningsDavid Aspinall
1998-12-18Beginnings of x-symbol support.David Aspinall
1998-12-18File sent by David von Oheimb.David Aspinall
1998-12-18Added proof-assistant-symbolDavid Aspinall
1998-12-18Elaborated on scripting language limitations Isabelle "bug"David Aspinall
1998-12-17Set version tag for new release.David Aspinall
1998-12-17Instructions how to hack another CVS tag.David Aspinall
1998-12-17Set version tag for new release.David Aspinall
1998-12-17Added todo for simplifying main download page, linking to pre-release.David Aspinall
1998-12-17Removed .cvsignore files from distribution.David Aspinall
1998-12-17Set version tag for new release.David Aspinall
1998-12-17Updated docstring.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 05:33:28 +0000