proof-general/html/projects, branch master

proof-general/html/projects, 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

Deleted files. 2003-02-18T17:22:16+00:00 David Aspinall 2003-02-18T17:22:16+00:00 e297e0423fc9517690e5ae82972fed68652e2b60

Link to page mentioned by emacs guy 2002-07-13T17:13:37+00:00 David Aspinall 2002-07-13T17:13:37+00:00 27b628241fd95a1a4fb23078bf5b4a6928735cf2

Modified, now white paper contains DTDs (soon) 2000-07-16T15:18:32+00:00 David Aspinall 2000-07-16T15:18:32+00:00 f1e36dc74e323fa869ff955a633ce55a62fe621f

New project (unlinked yet) 2000-05-09T10:31:34+00:00 David Aspinall 2000-05-09T10:31:34+00:00 6039328a88ff67d4bca86dead469b10cb1aba377

Added new project B4 2000-04-04T17:00:28+00:00 David Aspinall 2000-04-04T17:00:28+00:00 4fd8dab8e165483a42301d17bd3b48c2ca449155

Improved links, new project on ACS. 2000-03-19T06:40:30+00:00 David Aspinall 2000-03-19T06:40:30+00:00 1aea7fca0334e89fbcf69cc7477589e4118b3ebe

Updated web pages. 2000-03-13T05:14:23+00:00 David Aspinall 2000-03-13T05:14:23+00:00 670761dd6bd6321d65beeacdc81d68c0a2ebe92b

Updated 2000-03-10T06:57:31+00:00 David Aspinall 2000-03-10T06:57:31+00:00 ce1de45404de06e971d1bcb8a00c33292544cc14

Added project for HOL PG 2000-03-09T11:08:10+00:00 David Aspinall 2000-03-09T11:08:10+00:00 d6a021df262590c8ec79834e3019ae34eb7c3e7e