proof-general - Emacs plugins for proof management systems

Age	Commit message (Expand)	Author
2001-09-03	Set version tag for new release.	David Aspinall
2001-09-02	Set version tag for new release.	David Aspinall
2001-08-30	Set version tag for new release.	David Aspinall
2001-08-28	Set version tag for new release.	David Aspinall
2001-08-17	Set version tag for new release.	David Aspinall
2001-08-16	Set version tag for new release.	David Aspinall
2001-08-10	Set version tag for new release.	David Aspinall
2001-08-03	Set version tag for new release.	David Aspinall
2001-08-01	Set version tag for new release.	David Aspinall
2001-08-01	Moved compat hack to proof-site	David Aspinall
2001-07-23	Set version tag for new release.	David Aspinall
2001-07-09	Set version tag for new release.	David Aspinall
2001-05-29	Set version tag for new release.	David Aspinall
2001-05-16	Set version tag for new release.	David Aspinall
2001-05-16	Move loading of compatibility flag, autoloads, basic customization groups here.	David Aspinall
2001-05-08	Set version tag for new release.	David Aspinall
2001-05-08	Copyright date updated	David Aspinall
2001-05-01	Set version tag for new release.	David Aspinall
2001-03-20	Set version tag for new release.	David Aspinall
2001-02-20	* empty log message *	Christophe Raffalli
2001-02-07	Set version tag for new release.	David Aspinall
2001-02-06	Set version tag for new release.	David Aspinall
2001-01-12	Set version tag for new release.	David Aspinall
2001-01-05	Set version tag for new release.	David Aspinall
2000-12-22	Set version tag for new release.	David Aspinall
2000-12-21	Set version tag for new release.	David Aspinall
2000-12-20	Set version tag for new release.	David Aspinall
2000-12-20	Testing line for PGIP.	David Aspinall
2000-12-15	Set version tag for new release.	David Aspinall
2000-12-07	Set version tag for new release.	David Aspinall
2000-12-01	af2 is now called PhoX	Christophe Raffalli
2000-12-01	Set version tag for new release.	David Aspinall
2000-11-17	Set version tag for new release.	David Aspinall
2000-11-15	Set version tag for new release.	David Aspinall
2000-10-19	Set version tag for new release.	David Aspinall
2000-10-18	Set version tag for new release.	David Aspinall
2000-10-18	Set version tag for new release.	David Aspinall
2000-10-03	Set version tag for new release.	David Aspinall
2000-10-02	Set version tag for new release.	David Aspinall
2000-10-02	Set version tag for new release.	David Aspinall
2000-10-02	Set version tag for new release.	David Aspinall
2000-09-29	Set version tag for new release.	David Aspinall
2000-09-28	Set version tag for new release.	David Aspinall
2000-09-27	Set version tag for new release.	David Aspinall
2000-09-27	Added ACL2	David Aspinall
2000-09-26	Set version tag for new release.	David Aspinall
2000-09-25	Set version tag for new release.	David Aspinall
2000-09-23	Set version tag for new release.	David Aspinall
2000-09-21	Set version tag for new release.	David Aspinall
2000-09-20	Set version tag for new release.	David Aspinall