| Tue, 08 Feb 2011 17:27:18 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Fri, 10 Sep 2010 12:39:20 +0200 | wenzelm | primitive use_text: let interrupts pass unhindered; | file | diff | annotate |
| Tue, 17 Aug 2010 18:41:55 +0200 | wenzelm | discontinued support for Poly/ML 5.0 and 5.1 versions; | file | diff | annotate |
| 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 |