proof-general/.cvsignore, branch master

proof-general/.cvsignore, branch master Emacs plugins for proof management systems Move .cvsignore to .gitignore 2015-10-07T01:48:15+00:00 Clément Pit--Claudel 2015-10-07T01:46:18+00:00 95dfb71faf2d7e922c67a292a6fdd170857e84eb

Updated. 2007-03-12T20:08:50+00:00 David Aspinall 2007-03-12T20:08:50+00:00 942bc85930dea4cf97e6cd2b29bf1336d5991519

Updated. 2007-02-28T12:18:58+00:00 David Aspinall 2007-02-28T12:18:58+00:00 e39eff792f0976cce529bb872ee0d21de5de2417

Updated. 2004-02-28T19:17:37+00:00 David Aspinall 2004-02-28T19:17:37+00:00 ac624d4aa1e21b91fb298ae0aab36300056c2ab4

Updated. 2004-02-08T17:53:50+00:00 David Aspinall 2004-02-08T17:53:50+00:00 86ddfd2603299b6be81a56a12b7c3690babbf350

Remove ChangeLog from ignoreds 2000-09-29T19:58:57+00:00 David Aspinall 2000-09-29T19:58:57+00:00 c5deb508b97bb6c51b786d4704d6d26a3182759c

added nohup.out 1999-11-12T01:13:08+00:00 David Aspinall 1999-11-12T01:13:08+00:00 bf53fb6da7c4fa99c330c1456eccf74772365cb0

Handy 1998-12-11T13:04:54+00:00 David Aspinall 1998-12-11T13:04:54+00:00 099bc57254ed54f91b734999524af5fbb0e72dcc