Opened 15 years ago
Closed 15 years ago
#20317 closed submission (fixed)
NEW: ott 0.10.16
Reported by: | anil@… | Owned by: | nerdling (Jeremy Lavergne) |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 1.7.1 |
Keywords: | Cc: | ||
Port: | ott |
Description
Ott is a tool for writing definitions of programming languages and calculi. It takes as input a definition of a language syntax and semantics, in a concise and readable ASCII notation that is close to what one would write in informal mathematics. It generates LaTeX to build a typeset version of the definition, and Coq, HOL, and Isabelle versions of the definition.
http://github.com/avsm/darwinports/raw/e28253d0bcabdbed68adc0f63952f6c6b94598a2/devel/ott/Portfile
Attachments (1)
Change History (3)
Changed 15 years ago by anil@…
comment:1 Changed 15 years ago by nerdling (Jeremy Lavergne)
Owner: | changed from macports-tickets@… to snc@… |
---|---|
Port: | ott added |
Status: | new → assigned |
comment:2 Changed 15 years ago by nerdling (Jeremy Lavergne)
Resolution: | → fixed |
---|---|
Status: | assigned → closed |
Committed in r54424.
Note: See
TracTickets for help on using
tickets.
Portfile for devel/ott