| Tue, 11 Oct 2005 13:28:08 +0200 | wenzelm | added string_of_pid; | file | diff | annotate |
| Wed, 05 Oct 2005 10:56:06 +0200 | paulson | more signals | file | diff | annotate |
| Tue, 20 Sep 2005 21:09:41 +0200 | wenzelm | use "ML-Systems/smlnj-basis-compat.ML" *after* Interrupt; | file | diff | annotate |
| Tue, 20 Sep 2005 14:03:40 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 04 Jul 2005 17:07:15 +0200 | wenzelm | dummy exception_trace; | file | diff | annotate |
| Fri, 01 Jul 2005 14:42:04 +0200 | wenzelm | added profiler interface (dummy); | file | diff | annotate |
| Wed, 22 Jun 2005 19:41:30 +0200 | wenzelm | tuned pointer_eq; | file | diff | annotate |
| Wed, 22 Jun 2005 11:20:45 +0200 | paulson | pointer equality for sml/nj | file | diff | annotate |
| Mon, 20 Jun 2005 22:14:17 +0200 | wenzelm | added pointer_eq; | file | diff | annotate |
| Sun, 05 Jun 2005 11:31:30 +0200 | wenzelm | removed file_info (now in Pure/General/file.ML); | file | diff | annotate |
| Wed, 13 Apr 2005 09:48:41 +0200 | paulson | new signalling primmitives for sml/nj compatibility | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Thu, 22 Apr 2004 12:31:33 +0200 | paulson | changed SML/NJ v 45 to 44 | file | diff | annotate |
| Mon, 05 Apr 2004 13:30:37 +0200 | skalberg | Whoops. Those default cases can be tricky. | file | diff | annotate |
| Mon, 05 Apr 2004 13:23:10 +0200 | skalberg | Added support for the newer versions of SML/NJ, which break several of the | file | diff | annotate |
| Thu, 28 Feb 2002 21:35:07 +0100 | wenzelm | renamed mask_interrupt to ignore_interrupt; | file | diff | annotate |
| Mon, 11 Feb 2002 17:30:58 +0100 | wenzelm | ML-Systems/smlnj-compiler.ML compatibility tweak; | file | diff | annotate |
| Fri, 21 Dec 2001 17:31:45 +0100 | berghofe | Redundant patterns no longer cause errors. | file | diff | annotate |
| Thu, 08 Nov 2001 23:57:22 +0100 | wenzelm | removed needs_filtered_use; | file | diff | annotate |
| Tue, 16 Jan 2001 00:35:50 +0100 | wenzelm | use_text etc.: proper output of error messages; | file | diff | annotate |
| Fri, 22 Dec 2000 13:53:28 +0100 | paulson | better definitions of SML90 features | file | diff | annotate |
| Wed, 20 Oct 1999 15:22:56 +0200 | wenzelm | use_text: remove last char from output; | file | diff | annotate |
| Wed, 13 Oct 1999 19:42:46 +0200 | wenzelm | system; | file | diff | annotate |
| Thu, 04 Feb 1999 18:15:20 +0100 | wenzelm | fixed file_info; | file | diff | annotate |
| Mon, 09 Nov 1998 11:25:24 +0100 | wenzelm | smart interrupt handler; | file | diff | annotate |
| Wed, 21 Oct 1998 14:05:49 +0200 | wenzelm | dropped support for SML/NJ 109.x; | file | diff | annotate |
| Mon, 29 Jun 1998 10:32:06 +0200 | wenzelm | use_text: verbose flag; | file | diff | annotate |
| Mon, 15 Jun 1998 11:06:00 +0200 | wenzelm | use_text replaces use_strings; | file | diff | annotate |
| Thu, 28 May 1998 12:21:05 +0200 | wenzelm | added ml_prompts; | file | diff | annotate |
| Wed, 17 Dec 1997 14:57:26 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Sat, 13 Dec 1997 17:22:41 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Fri, 12 Dec 1997 22:41:15 +0100 | wenzelm | Compatibility file for Standard ML of New Jersey. | file | diff | annotate |