| Tue, 14 Mar 2006 22:06:33 +0100 | wenzelm | Output.add_mode: keyword component; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:21 +0100 | wenzelm | added ML_errors; | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:15 +0100 | wenzelm | removed special ERROR handling stuff (transform_error etc.); | file | diff | annotate |
| Wed, 21 Sep 2005 10:32:06 +0200 | haftmann | added update_warn | file | diff | annotate |
| Tue, 20 Sep 2005 16:17:34 +0200 | haftmann | introduced AList module in favor of assoc etc. | file | diff | annotate |
| Thu, 15 Sep 2005 17:16:56 +0200 | wenzelm | TableFun/Symtab: curried lookup and update; | file | diff | annotate |
| Thu, 01 Sep 2005 18:48:50 +0200 | wenzelm | curried_lookup/update; | file | diff | annotate |
| Wed, 06 Jul 2005 20:00:37 +0200 | wenzelm | added time_accumulator and accumulated_time supercede | file | diff | annotate |
| Mon, 04 Jul 2005 17:09:15 +0200 | wenzelm | added transform_exceptions: bool ref; | file | diff | annotate |
| Thu, 02 Jun 2005 18:29:51 +0200 | wenzelm | added no_warnings; | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Wed, 08 Sep 2004 19:37:07 +0200 | aspinall | Add info and debug output channels. | file | diff | annotate |
| Tue, 29 Jun 2004 11:18:34 +0200 | kleing | license change to BSD | file | diff | annotate |
| Mon, 21 Jun 2004 16:39:39 +0200 | wenzelm | immediate_output; | file | diff | annotate |
| Sun, 20 Jun 2004 09:27:40 +0200 | wenzelm | added accumulated timing; | file | diff | annotate |
| Wed, 16 Jun 2004 20:37:00 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 09 Jun 2004 18:56:47 +0200 | wenzelm | tuned comment; | file | diff | annotate |
| Sun, 06 Jun 2004 18:35:39 +0200 | wenzelm | added has_mode; handle_error: output raw; | file | diff | annotate |
| Sat, 05 Jun 2004 13:06:28 +0200 | wenzelm | moved exception handling back to library.ML; | file | diff | annotate |
| Tue, 01 Jun 2004 18:51:55 +0200 | aspinall | Add panic function which exits Isabelle immediately. | file | diff | annotate |
| Sat, 29 May 2004 14:54:10 +0200 | wenzelm | output channels; | file | diff | annotate |