index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
etc
/
isa
Commit message (
Collapse
)
Author
Age
*
New files.
David Aspinall
2002-08-26
|
*
New files.
David Aspinall
2002-08-09
|
*
Test file for proof-shell-set-elisp-variable-regexp
David Aspinall
2000-08-28
|
*
Files for testing theorem dependency features.
David Aspinall
2000-08-14
|
*
Comment about tripping bug in Isabelle
David Aspinall
2000-03-22
|
*
Added test files to check stupid filename for directories.
David Aspinall
2000-03-22
|
*
New testing files
David Aspinall
1999-11-12
|
*
Test files for error in theory processing.
David Aspinall
1999-11-09
|
*
test stray ML file;
Makarius Wenzel
1999-10-27
|
*
Trivial changes
David Aspinall
1999-10-21
|
*
Minor change for testing.
David Aspinall
1999-10-20
|
*
based on Pure rather than Main (which didn't work because of Pure/CPure clash);
Makarius Wenzel
1999-08-19
|
*
Fixed comment.
David Aspinall
1999-02-01
|
*
Test case for file recognition bug.
David Aspinall
1999-02-01
|
*
Added David von Oheimbs test case for case matching
David Aspinall
1999-01-26
|
*
Test has backward slashes now, not forwards ones..
David Aspinall
1999-01-15
|
*
Test file for long lines with backslashes.
David Aspinall
1999-01-15
|
*
More test cases mentioned
David Aspinall
1998-12-11
|
*
Added more commands for testing
David Aspinall
1998-12-11
|
*
Name of proof-shell-restart was changed.
David Aspinall
1998-12-11
|
*
Changes for better testing
David Aspinall
1998-11-18
|
*
Fixed multiple file bug
David Aspinall
1998-11-03
|
*
More notes
David Aspinall
1998-10-29
|
*
Ran tests for Isabelle. Added another test case.
David Aspinall
1998-10-29
|
*
Test files for handling multiple files with Isabelle
David Aspinall
1998-10-19