summaryrefslogtreecommitdiff
path: root/src/errormsg.sml
Commit message (Collapse)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