proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Added test for .thy file match bug.	David Aspinall	1999-02-01
\|
*	Fixed comment.	David Aspinall	1999-02-01
\|
*	Used proof-string-match for matching against proof script.	David Aspinall	1999-02-01
\|
*	Added proof-string-match	David Aspinall	1999-02-01
\|
*	Mentioned proof-case-fold-search	David Aspinall	1999-02-01
\|
*	Use proof-string-match in (hopefully) appropriate places	David Aspinall	1999-02-01
\|
*	Use proof-string-match in appropriate places	David Aspinall	1999-02-01
\|
*	Added devel.etags target	David Aspinall	1999-02-01
\|
*	Added proof-case-fold-search	David Aspinall	1999-02-01
\|
*	Test case for file recognition bug.	David Aspinall	1999-02-01
\|
*	Added TODO for syntax matching problem.	David Aspinall	1999-01-27
\|
*	Added David von Oheimbs test case for case matching	David Aspinall	1999-01-26
\|
*	. Clarified LEGO specific TODO	Thomas Kleymann	1999-01-23
\| \| \| \|	. Updated situation on License issue
*	Updated. Time estimates and doc todo.	David Aspinall	1999-01-21
\|
*	Updated. Long standing pty overflow bug fixed. We registration page wanted.	David Aspinall	1999-01-21
\|
*	Tested piped communication in emacs-20.3	David Aspinall	1999-01-21
\|
*	Rearranged into reverse chronological order	David Aspinall	1999-01-21
\|
*	Improved test file so that it works correctly with installed LEGO 1.3.1	Thomas Kleymann	1999-01-21
\|
*	added Solaris-specific path. Requires LEGO versions more recent than 1.3.1	Thomas Kleymann	1999-01-18
\|
*	does indeed crash Proof General, Version 2.1pre990112	Thomas Kleymann	1999-01-18
\|
*	Set version tag for new release.	David Aspinall	1999-01-15
\|
*	Experimental bug fix for Solaris problem	David Aspinall	1999-01-15
\|
*	todo for testing solaris bug fix	David Aspinall	1999-01-15
\|
*	Ambitiously mentioned bug fix for Solaris problem	David Aspinall	1999-01-15
\|
*	Test has backward slashes now, not forwards ones..	David Aspinall	1999-01-15
\|
*	Added putative test for Isabelle and long lines with backslash.	David Aspinall	1999-01-15
\|
*	Test file for long lines with backslashes.	David Aspinall	1999-01-15
\|
*	Added todo for licence clarification after query from a user.	David Aspinall	1999-01-15
\|
*	Updated.	David Aspinall	1999-01-15
\|
*	Web page links to Proof General from provers now added.	David Aspinall	1999-01-15
\|
*	added links from LEGO Web page	Thomas Kleymann	1999-01-13
\| \| \| \|	Now only Isabelle's references are misssing!
*	Set version tag for new release.	David Aspinall	1999-01-12
\|
*	Raised priority of Solaris bug/problem.	David Aspinall	1999-01-12
\|
*	Changed read-no-blanks-input to read-string, former is defunct.	David Aspinall	1999-01-12
\|
*	Mention of continued-input prompt as API guidline.	David Aspinall	1999-01-12
\|
*	Better description of Solaris bug/feature.	David Aspinall	1999-01-12
\|
*	Missing bracket.	David Aspinall	1998-12-18
\|
*	Set version tag for new release.	David Aspinall	1998-12-18
\|
*	Fixup branch	David Aspinall	1998-12-18
\|
*	Fixup branch.	David Aspinall	1998-12-18
\|
*	x-symbol support beginnings	David Aspinall	1998-12-18
\|
*	Beginnings of x-symbol support.	David Aspinall	1998-12-18
\|
*	File sent by David von Oheimb.	David Aspinall	1998-12-18
\|
*	Added proof-assistant-symbol	David Aspinall	1998-12-18
\|
*	Elaborated on scripting language limitations Isabelle "bug"	David Aspinall	1998-12-18
\|
*	Set version tag for new release.	David Aspinall	1998-12-17
\|
*	Instructions how to hack another CVS tag.	David Aspinall	1998-12-17
\|
*	Set version tag for new release.	David Aspinall	1998-12-17
\|
*	Added todo for simplifying main download page, linking to pre-release.	David Aspinall	1998-12-17
\|
*	Removed .cvsignore files from distribution.	David Aspinall	1998-12-17
\|