[MacPorts] #20317: NEW: ott 0.10.16

[MacPorts]

#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/e28253d0bcabdbed68adc0f63952f6c6b94598a2/devel/ott/Portfile

-- 
Ticket URL: <http://trac.macports.org/ticket/20317>
MacPorts <http://www.macports.org/>
Ports system for Mac OS