aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Added test for .thy file match bug.Gravatar David Aspinall1999-02-01
* Fixed comment.Gravatar David Aspinall1999-02-01
* Used proof-string-match for matching against proof script.Gravatar David Aspinall1999-02-01
* Added proof-string-matchGravatar David Aspinall1999-02-01
* Mentioned proof-case-fold-searchGravatar David Aspinall1999-02-01
* Use proof-string-match in (hopefully) appropriate placesGravatar David Aspinall1999-02-01
* Use proof-string-match in appropriate placesGravatar David Aspinall1999-02-01
* Added devel.etags targetGravatar David Aspinall1999-02-01
* Added proof-case-fold-searchGravatar David Aspinall1999-02-01
* Test case for file recognition bug.Gravatar David Aspinall1999-02-01
* Added TODO for syntax matching problem.Gravatar David Aspinall1999-01-27
* Added David von Oheimbs test case for case matchingGravatar David Aspinall1999-01-26
* . Clarified LEGO specific TODOGravatar Thomas Kleymann1999-01-23
* Updated. Time estimates and doc todo.Gravatar David Aspinall1999-01-21
* Updated. Long standing pty overflow bug fixed. We registration page wanted.Gravatar David Aspinall1999-01-21
* Tested piped communication in emacs-20.3Gravatar David Aspinall1999-01-21
* Rearranged into reverse chronological orderGravatar David Aspinall1999-01-21
* Improved test file so that it works correctly with installed LEGO 1.3.1Gravatar Thomas Kleymann1999-01-21
* added Solaris-specific path. Requires LEGO versions more recent than 1.3.1Gravatar Thomas Kleymann1999-01-18
* does indeed crash Proof General, Version 2.1pre990112Gravatar Thomas Kleymann1999-01-18
* Set version tag for new release.Gravatar David Aspinall1999-01-15
* Experimental bug fix for Solaris problemGravatar David Aspinall1999-01-15
* todo for testing solaris bug fixGravatar David Aspinall1999-01-15
* Ambitiously mentioned bug fix for Solaris problemGravatar David Aspinall1999-01-15
* Test has backward slashes now, not forwards ones..Gravatar David Aspinall1999-01-15
* Added putative test for Isabelle and long lines with backslash.Gravatar David Aspinall1999-01-15
* Test file for long lines with backslashes.Gravatar David Aspinall1999-01-15
* Added todo for licence clarification after query from a user.Gravatar David Aspinall1999-01-15
* Updated.Gravatar David Aspinall1999-01-15
* Web page links to Proof General from provers now added.Gravatar David Aspinall1999-01-15
* added links from LEGO Web pageGravatar Thomas Kleymann1999-01-13
* Set version tag for new release.Gravatar David Aspinall1999-01-12
* Raised priority of Solaris bug/problem.Gravatar David Aspinall1999-01-12
* Changed read-no-blanks-input to read-string, former is defunct.Gravatar David Aspinall1999-01-12
* Mention of continued-input prompt as API guidline.Gravatar David Aspinall1999-01-12
* Better description of Solaris bug/feature.Gravatar David Aspinall1999-01-12
* Missing bracket.Gravatar David Aspinall1998-12-18
* Set version tag for new release.Gravatar David Aspinall1998-12-18
* Fixup branchGravatar David Aspinall1998-12-18
* Fixup branch.Gravatar David Aspinall1998-12-18
* x-symbol support beginningsGravatar David Aspinall1998-12-18
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 09:39:41 +0000