aboutsummaryrefslogtreecommitdiff
path: root/lang/ott
Commit message (Collapse)AuthorAgeFilesLines
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
| | | | Reported by: lwhsu
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* Add ott, tool for writing definitions of programming languages and calculiLi-Wen Hsu2018-09-183-0/+35
Inspired by: Domagoj Stolfa <domagoj.stolfa@cl.cam.ac.uk> Notes: svn path=/head/; revision=479963