proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/etc/bug-notes.txt

	Commit message (Collapse)	Author	Age
*	Note about sync problem	David Aspinall	2000-05-25
\|
*	New file, test cases for bugs	David Aspinall	2000-05-25