#20317: NEW: ott 0.10.16 -----------------------------+---------------------------------------------- Reporter: anil@… | Owner: macports-tickets@… Type: submission | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.7.1 Keywords: | Port: -----------------------------+---------------------------------------------- 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/e28253d0bcabdbed68adc0f63952f6c6b9459... -- Ticket URL: <http://trac.macports.org/ticket/20317> MacPorts <http://www.macports.org/> Ports system for Mac OS