#45152: pure-reduce @0.4: new port submission --------------------------+-------------------------- Reporter: aggraef@… | Owner: ryandesign@… Type: submission | Status: assigned Priority: Normal | Milestone: Component: ports | Version: 2.3.1 Resolution: | Keywords: Port: pure-reduce | --------------------------+-------------------------- Comment (by aggraef@…): Replying to [comment:4 aggraef@…]:
In fact I'd say that the pure-reduce+pure-texmacs combo offers a much nicer interface to Reduce than Reduce itself. ;-) See a screenshot here: https://bitbucket.org/purelang/pure-lang/wiki/TeXmacs
NB: We should really see whether we can make the latest TeXmacs work in MacPorts and then add the Pure TeXmacs plugin to the Pure port. It's very nice and is being used a lot by engineers. I actually have this working on my MacBook here, but it uses a recent binary TeXmacs package available from http://www.texmacs.org. The TeXmacs version currently in MacPorts is ancient and doesn't work for that (it lacks plugin support IIRC). -- Ticket URL: <https://trac.macports.org/ticket/45152#comment:9> MacPorts <http://www.macports.org/> Ports system for OS X