proof-general/pghaskell, branch master Emacs plugins for proof management systems Fix most doc issues raised by (checkdoc) 2018-08-22T23:23:31+00:00 Erik Martin-Dorel 2018-08-22T22:01:12+00:00 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 






Update copyright messages and improve the header of elisp files.
2018-02-20T23:53:25+00:00

Erik Martin-Dorel

2017-08-12T11:48:08+00:00

4e0c2a00cfbb7ea5c5ab68573bfb0edb78e8bd6f












Fix haskell invocation comand
2015-01-05T11:39:38+00:00

David Aspinall

2015-01-05T11:39:38+00:00

1ba36a3a84089d5bb6175174de01d245bd52215b












Deleted file
2015-01-05T11:39:30+00:00

David Aspinall

2015-01-05T11:39:30+00:00

a7e139c5aa4b597f34d501efa283efe7732d893e












Fix name in proof-easy-config, addressing Trac #441
2012-08-09T11:43:02+00:00

David Aspinall

2012-08-09T11:43:02+00:00

8c01bb830cdeb0f7556fcadc3483245c65b185b7












New pseudo instances to help tool demonstrators in ocaml/ghci (in progress)
2012-02-07T11:20:14+00:00

David Aspinall

2012-02-07T11:20:14+00:00

5f7695ac97fe7e624f00954fa39b1b6149427654