proof-general/html/gallery.html, branch master

proof-general/html/gallery.html, branch master Emacs plugins for proof management systems Deleted files. 2001-08-01T19:22:52+00:00 David Aspinall 2001-08-01T19:22:52+00:00 55e158fdd30b42d1e64991a4066da65fa45e6cd4

Moved to .php 2001-08-01T19:20:58+00:00 David Aspinall 2001-08-01T19:20:58+00:00 b6cc12f79ac977267f2ff8f22c9aa61e2caa00ca

Renamed file 2001-08-01T19:13:46+00:00 David Aspinall 2001-08-01T19:13:46+00:00 19202c2d45f261670a8f8fe1f66d8b69471ec3e1

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