New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #20317 (closed submission: fixed)

Opened 4 years ago

Last modified 4 years ago

NEW: ott 0.10.16

Reported by: anil@… Owned by: snc@…
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

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

Change History

Changed 4 years ago by anil@…

Portfile for devel/ott

comment:1 Changed 4 years ago by snc@…

  • Status changed from new to assigned
  • Owner changed from macports-tickets@… to snc@…
  • Port set to ott

comment:2 Changed 4 years ago by snc@…

  • Status changed from assigned to closed
  • Resolution set to fixed

Committed in r54424.

Note: See TracTickets for help on using tickets.