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

proof-general/html/about.html, branch master Emacs plugins for proof management systems Deleted file 2004-02-07T19:31:13+00:00 David Aspinall 2004-02-07T19:31:13+00:00 b9caaa8e4b66817dbc66d0e79b567b3285869fea

Fix link to Isamode. 2002-11-22T18:23:51+00:00 David Aspinall 2002-11-22T18:23:51+00:00 a9b6ecac600cc82ce69274ab28714e27b0ffe8ed

Triv 2002-07-13T17:20:30+00:00 David Aspinall 2002-07-13T17:20:30+00:00 b6150be576e5c3b01cd4081c2bb19ea882980b31

Reorder, include links here. 2002-07-13T16:18:51+00:00 David Aspinall 2002-07-13T16:18:51+00:00 2a2fb1a6405fbae27a7d2abca51f5472fb4f415d

Fix more broken front page links 2002-01-31T18:54:39+00:00 David Aspinall 2002-01-31T18:54:39+00:00 a1a570c404946b98a115b0bd3455d243d00685b1

Fix links to gallery 2001-08-01T19:23:30+00:00 David Aspinall 2001-08-01T19:23:30+00:00 24238452bf5a4c57c9fa4f16e8e0a3a666b092ae

Fix typo 2001-08-01T19:17:15+00:00 David Aspinall 2001-08-01T19:17:15+00:00 647815cb66c96f4d249802fdfa7599eae447e16b

Remove messy link_root links. 2000-09-29T17:47:34+00:00 David Aspinall 2000-09-29T17:47:34+00:00 0343b2b7187a599d2373e92e00d5e8ad7da91c3f

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