Opened 10 years ago

Closed 10 years ago

#20317 closed submission (fixed)

NEW: ott 0.10.16

Reported by: anil@… Owned by: nerdling (Jeremy L)
Priority: Normal Milestone:
Component: ports Version: 1.7.1
Keywords: Cc:
Port: ott


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.

Attachments (1)

Portfile (1.3 KB) - added by anil@… 10 years ago.
Portfile for devel/ott

Download all attachments as: .zip

Change History (3)

Changed 10 years ago by anil@…

Attachment: Portfile added

Portfile for devel/ott

comment:1 Changed 10 years ago by nerdling (Jeremy L)

Owner: changed from macports-tickets@… to snc@…
Port: ott added
Status: newassigned

comment:2 Changed 10 years ago by nerdling (Jeremy L)

Resolution: fixed
Status: assignedclosed

Committed in r54424.

Note: See TracTickets for help on using tickets.