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)

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

Download all attachments as: .zip

Change History (3)

Changed 15 years ago by anil@…

Attachment: Portfile​ added

Portfile for devel/ott

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.