proof-general/html/index.html, branch master
Emacs plugins for proof management systems
Deleted files.
2001-05-01T14:16:23+00:00
David Aspinall
2001-05-01T14:16:23+00:00
c91ecc2744440c5ae63507f6f56f22c6c5acc202
Updated web pages for 3.2 release
2000-10-02T17:58:26+00:00
David Aspinall
2000-10-02T17:58:26+00:00
2499cce984c20e3b2528d4a7268c0f682144fd3b
Renamed files
2000-09-28T15:13:35+00:00
David Aspinall
2000-09-28T15:13:35+00:00
72faf58cb67c92ce42ebfec399ec2f945c4ec2a7