proof-general/html/fileshow.html, branch master
Emacs plugins for proof management systems
Renamed file
2001-08-03T13:06:27+00:00
David Aspinall
2001-08-03T13:06:27+00:00
8fc5a613c2bf0bd487b31ec0a3b1f57bf4e13a76
Moved to use .html instead of .phtml
2000-09-28T15:14:22+00:00
David Aspinall
2000-09-28T15:14:22+00:00
ce2413d4ba78cacb8d5e098ed1421456bb811e53
Renamed file
2000-09-28T15:01:50+00:00
David Aspinall
2000-09-28T15:01:50+00:00
bd7aa7923a25d16207842f9f3d6b773c2fc6fa58