aboutsummaryrefslogtreecommitdiffhomepage
path: root/pghaskell
Commit message (Expand)AuthorAge
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Fix haskell invocation comandGravatar David Aspinall2015-01-05
* Deleted fileGravatar David Aspinall2015-01-05
* Fix name in proof-easy-config, addressing Trac #441Gravatar David Aspinall2012-08-09
* New pseudo instances to help tool demonstrators in ocaml/ghci (in progress)Gravatar David Aspinall2012-02-07