summaryrefslogtreecommitdiff
path: root/src/errormsg.sml
Commit message (Expand)AuthorAge
* First publishDiagnostics implementationGravatar Simon Van Casteren2019-12-13
* First iteration of more detailed elaboration cachingGravatar FrigoEU2019-07-07
* Fix from Edward Yang to generation of 404 errors in FastCGIGravatar Adam Chlipala2012-05-06
* Adjust error message format to match Emacs defaultsGravatar Adam Chlipala2012-05-05
* Injecting a floatGravatar Adam Chlipala2009-01-01
* Elaborating cons and declsGravatar Adam Chlipala2008-01-26
* Initial parsing and pretty-printingGravatar Adam Chlipala2008-01-26
* Initial skeletonGravatar Adam Chlipala2008-01-26