New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #19270 (closed request: fixed)

Opened 4 years ago

Last modified 4 years ago

pure-doc: make a port

Reported by: ryandesign@… Owned by: ryandesign@…
Priority: Normal Milestone:
Component: ports Version: 1.7.1
Keywords: Cc:
Port: pure-doc

Description

Make a port for pure-doc. Should be similar to the other pure module ports.

​http://pure-lang.googlecode.com/

​http://groups.google.com/group/pure-lang/browse_thread/thread/88c9aee3b858bc07#msg_8d2637e7e59b6b81

Change History

comment:1 Changed 4 years ago by jmr@…

  • Type changed from enhancement to request

comment:2 Changed 4 years ago by anonymous

  • Milestone Port Requests deleted

Milestone Port Requests deleted

comment:3 Changed 4 years ago by ryandesign@…

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

Added port for pure-doc 0.3 in r51812.

Note: See TracTickets for help on using tickets.