Wed, 19 Sep 2007 18:48:54 +0200 | webertj | comment added to explain a potential scheduling problem | file | diff | annotate |
Thu, 09 Nov 2006 16:14:43 +0100 | webertj | new CCS-based implementation that should work with PolyML 5.0 | file | diff | annotate |
Fri, 27 Jan 2006 20:17:24 +0100 | webertj | interrupt_timeout for Poly replaced by stub | file | diff | annotate |
Mon, 23 Jan 2006 17:29:52 +0100 | webertj | TimeLimit replaced by interrupt_timeout | file | diff | annotate |