| Wed, 10 Dec 2008 16:30:33 +0100 | ballarin | Preserve idents (expression in sublocale). | changeset | files |
| Mon, 29 Dec 2008 22:43:41 +0100 | wenzelm | added POSITION_PROPERTIES; | changeset | files |
| Mon, 29 Dec 2008 22:36:56 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 29 Dec 2008 22:20:04 +0100 | wenzelm | override toString method; | changeset | files |
| Mon, 29 Dec 2008 20:06:31 +0100 | wenzelm | Swing utilities. | changeset | files |
| Mon, 29 Dec 2008 18:30:05 +0100 | wenzelm | merged | changeset | files |
| Mon, 29 Dec 2008 18:27:33 +0100 | wenzelm | optional exception logging; | changeset | files |
| Mon, 29 Dec 2008 17:57:18 +0100 | haftmann | merged | changeset | files |
| Mon, 29 Dec 2008 17:56:37 +0100 | haftmann | pretty printer for bindings | changeset | files |
| Mon, 29 Dec 2008 14:08:08 +0100 | haftmann | adapted HOL source structure to distribution layout | changeset | files |
| Mon, 29 Dec 2008 16:45:00 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 29 Dec 2008 16:44:49 +0100 | wenzelm | more markup elements; | changeset | files |
| Mon, 29 Dec 2008 15:23:56 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 29 Dec 2008 15:16:25 +0100 | wenzelm | merged | changeset | files |
| Mon, 29 Dec 2008 15:16:01 +0100 | wenzelm | explicit EventBus for results; | changeset | files |
| Mon, 29 Dec 2008 15:13:53 +0100 | wenzelm | added methods "+" and "-"; | changeset | files |
| Mon, 29 Dec 2008 13:57:37 +0100 | wenzelm | Generic event bus. | changeset | files |
| Mon, 29 Dec 2008 13:23:53 +0100 | haftmann | eliminated fun/val confusion | changeset | files |
| Sun, 28 Dec 2008 14:41:47 -0800 | huffman | merged | changeset | files |
| Sun, 28 Dec 2008 14:40:43 -0800 | huffman | clean up proofs of lemma Maclaurin | changeset | files |
| Sun, 28 Dec 2008 23:20:57 +0100 | wenzelm | disabled old jedit plugin; | changeset | files |
| Sun, 28 Dec 2008 20:25:39 +0100 | wenzelm | more markup elements; | changeset | files |
| Sun, 28 Dec 2008 16:39:27 +0100 | wenzelm | more markup elements; | changeset | files |
| Sat, 27 Dec 2008 17:49:15 +0100 | krauss | removed duplicate sum_case used only by function package; | changeset | files |
| Sat, 27 Dec 2008 17:35:01 +0100 | krauss | tuned NEWS; CONTRIBUTORS | changeset | files |
| Sat, 27 Dec 2008 17:35:00 +0100 | krauss | renamed LexOrds.thy to Termination.thy; examples for sizechange method | changeset | files |
| Sat, 27 Dec 2008 17:09:27 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 27 Dec 2008 16:34:26 +0100 | wenzelm | merged | changeset | files |
| Sat, 27 Dec 2008 16:33:50 +0100 | wenzelm | refined execute, which replaces exec/exec2; | changeset | files |
| Sat, 27 Dec 2008 16:33:19 +0100 | wenzelm | maintain initial process environment; | changeset | files |