proof-general - Emacs plugins for proof management systems

Age	Commit message (Expand)	Author
2000-03-01	Set version tag for new release.	David Aspinall
2000-02-29	Set version tag for new release.	David Aspinall
2000-02-28	Set version tag for new release.	David Aspinall
2000-02-24	Set version tag for new release.	David Aspinall
2000-02-17	Set version tag for new release.	David Aspinall
2000-02-15	Set version tag for new release.	David Aspinall
2000-02-15	Switch to canonical URL (broken currently)	David Aspinall
2000-02-09	Set version tag for new release.	David Aspinall
2000-01-26	Set version tag for new release.	David Aspinall
2000-01-20	Set version tag for new release.	David Aspinall
2000-01-12	Set version tag for new release.	David Aspinall
2000-01-06	Set version tag for new release.	David Aspinall
1999-12-16	Set version tag for new release.	David Aspinall
1999-12-14	Set version tag for new release.	David Aspinall
1999-12-13	Set version tag for new release.	David Aspinall
1999-12-03	Set version tag for new release.	David Aspinall
1999-12-01	Set version tag for new release.	David Aspinall
1999-11-30	Set version tag for new release.	David Aspinall
1999-11-30	Set version tag for new release.	David Aspinall
1999-11-30	Set version tag for new release.	David Aspinall
1999-11-30	Set version tag for new release.	David Aspinall
1999-11-30	Set version tag for new release.	David Aspinall
1999-11-29	Set version tag for new release.	David Aspinall
1999-11-29	Set version tag for new release.	David Aspinall
1999-11-26	Set version tag for new release.	David Aspinall
1999-11-26	Set version tag for new release.	David Aspinall
1999-11-26	Add main README, COPYING to RPM.	David Aspinall
1999-11-26	Add ProofGeneral.texi and CHANGES to RPM.	David Aspinall
1999-11-25	Set version tag for new release.	David Aspinall
1999-11-24	Set version tag for new release.	David Aspinall
1999-11-23	Set version tag for new release.	David Aspinall
1999-11-22	Set version tag for new release.	David Aspinall
1999-11-19	Set version tag for new release.	David Aspinall
1999-11-18	Set version tag for new release.	David Aspinall
1999-11-17	Set version tag for new release.	David Aspinall
1999-11-16	Set version tag for new release.	David Aspinall
1999-11-15	Set version tag for new release.	David Aspinall
1999-11-12	Set version tag for new release.	David Aspinall
1999-11-10	Set version tag for new release.	David Aspinall
1999-11-09	Set version tag for new release.	David Aspinall
1999-11-02	Set version tag for new release.	David Aspinall
1999-10-22	Set version tag for new release.	David Aspinall
1999-10-21	Set version tag for new release.	David Aspinall
1999-10-20	Set version tag for new release.	David Aspinall
1999-10-14	Set version tag for new release.	David Aspinall
1999-10-12	Set version tag for new release.	David Aspinall
1999-10-07	Set version tag for new release.	David Aspinall
1999-10-06	Set version tag for new release.	David Aspinall
1999-10-06	Set version tag for new release.	David Aspinall
1999-10-01	Set version tag for new release.	David Aspinall