| 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 |