Mon, 09 Nov 2009 21:30:54 +0100 | wenzelm | setup for official Poly/ML 5.3.0, which is now the default; | file | diff | annotate |
Tue, 29 Sep 2009 11:49:22 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | file | diff | annotate |
Sat, 06 Jun 2009 21:47:02 +0200 | wenzelm | reraise exceptions to preserve position information; | file | diff | annotate |
Sat, 06 Jun 2009 19:58:10 +0200 | wenzelm | use_text: pass file name to compiler, tuned; | file | diff | annotate |
Thu, 04 Jun 2009 19:15:54 +0200 | wenzelm | less experimental polyml-5.3; | file | diff | annotate |
Sun, 31 May 2009 14:51:21 +0200 | wenzelm | more modular setup of runtime compilation; | file | diff | annotate |