proof-general/COPYING, branch master

proof-general/COPYING, branch master Emacs plugins for proof management systems GPL 2002-06-21T21:25:53+00:00 David Aspinall 2002-06-21T21:25:53+00:00 dea0981995cb184ca0ce35ef41157867c2750f1d

Fix numbering 2002-01-11T16:46:00+00:00 David Aspinall 2002-01-11T16:46:00+00:00 13f4c795630b1071b749ae78b82a94f12d3973fe

Date 2001 2001-05-29T17:53:11+00:00 David Aspinall 2001-05-29T17:53:11+00:00 60cb393e8a91a792344538de841e55a7655441a6

Fix date 2000-07-19T17:04:23+00:00 David Aspinall 2000-07-19T17:04:23+00:00 a7394b8c2a664aa9882240ef549770ef41e54a12

Altered slightly to remove contentious phrase. 1999-10-21T18:02:20+00:00 David Aspinall 1999-10-21T18:02:20+00:00 9b85ea69b030438e5a4a7e60f338488b70ebd643

Updated 1999-08-24T18:13:58+00:00 David Aspinall 1999-08-24T18:13:58+00:00 d79684fa05d5970036aa92249aa1905a5c6ead12

Updates for new web pages, todo list. 1999-06-24T14:57:10+00:00 David Aspinall 1999-06-24T14:57:10+00:00 4162624976e6339d0a835f8ab3d213da29f63647

Fixed bugs. 1998-12-17T10:37:26+00:00 David Aspinall 1998-12-17T10:37:26+00:00 eb42cb63bd8629ddab05bf7e3c13e2188a7f5374

Rough copyright notice cribbed from cwb 1998-10-07T13:58:20+00:00 David Aspinall 1998-10-07T13:58:20+00:00 3dfd365c14847ff12d922e3258cc5f9b700ee85f