aboutsummaryrefslogtreecommitdiffstats
path: root/lang/imp-interpreter
Commit message (Collapse)AuthorAgeFilesLines
* 2012-11-27 java/jmp: Java 1.5 is EOLedbapt2012-11-283-58/+0
| | | | | | | | | | | | | | | | 2012-11-26 irc/tr-ircd: No more public distfiles 2012-11-26 lang/imp-interpreter: No more public distfiles 2012-11-26 games/xquarto: No more public distfiles 2012-11-26 games/six: No more public distfiles 2012-11-26 finance/gfp: No more public distfiles 2012-11-26 games/44bsd-hunt: No more public distfiles 2012-11-26 graphics/ale: No more public distfiles 2012-11-26 german/digibux: No more public distfiles 2012-11-26 java/eclipse-clay-core: No more public distfiles 2012-11-26 games/xbloody: No more public distfiles 2012-11-26 dns/sqldjbdns: No more public distfiles Feature safe: yes
* Deprecate a bunch of ports that are either abandonware and/or for which no morebapt2012-10-261-5/+4
| | | | | | | public distfiles are available, or for which are -devel version with a more recent stable version for long Feature safe: yes
* - Return my ports back to the pool. I was unable to make any fixes tostas2011-10-241-1/+1
| | | | | | | | my ports in the past 3 weeks while ports were broken on any 10.x machines, which means I'm unable to maintain them. So let people know that there's no available support for them until things are back to normal (which also means that anyone with spare time will be able to fix them without getting approval).
* - remove MD5ohauer2011-07-031-1/+0
|
* - Remove the DESTDIR modifications from individual ports as we have a new,gabor2007-08-041-1/+1
| | | | | | | fully chrooted DESTDIR, which does not need such any more. Sponsored by: Google Summer of Code 2007 Approved by: portmgr (pav)
* - Welcome X.org 7.2 \o/.flz2007-05-201-0/+1
| | | | | - Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}.
* Switch to using new files Mk/bsd.ocaml.mk [1] and Mk/bsd.xfce.mk [2].linimon2007-03-141-1/+0
| | | | | | PR: 101029 [1], 108862 [2] Submitted by: Stanislav Sedov <ssedov at mbsd dot msk dot ru> [1], oliver [2]
* - Update to 1.0.7stas2006-12-092-5/+5
| | | | - Change my email
* IMP is a monadic style implementation of the semantics of the (very simple)miwi2006-08-183-0/+60
language IMP, "plain" the implementation with explicit passing of state. The semantics of the IMP-language is presented in the book: "The Formal Semantics of Programming Languages" by Glynn Winskel (1993, The MIT Press). for more details on monads, see Philip Wadler's page on: http://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html#combining-monads Author: Markus Mottl <markus.mottl@gmail.com> WWW: http://www.ocaml.info/home/ocaml_sources.html PR: ports/102103 Submitted by: Stanislav Sedov <ssedov@mbsd.msk.ru> Approved by: krion (mentor)