| Sat, 22 May 2010 10:12:49 +0200 |
haftmann |
localized properties_for_sort
|
changeset |
files
|
| Mon, 24 May 2010 23:19:40 +0200 |
wenzelm |
@tailrec annotation;
|
changeset |
files
|
| Mon, 24 May 2010 23:01:51 +0200 |
wenzelm |
renamed "rev" to "reverse" following usual Scala conventions;
|
changeset |
files
|
| Sat, 22 May 2010 23:59:09 +0200 |
wenzelm |
parse_spans: cover full range including adjacent well-formed commands -- intermediate ignored and malformed commands are reparsed as well;
|
changeset |
files
|
| Sat, 22 May 2010 23:53:09 +0200 |
wenzelm |
added rev_iterator;
|
changeset |
files
|
| Sat, 22 May 2010 22:30:43 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 22 May 2010 22:30:37 +0200 |
wenzelm |
access statically typed dockable windows;
|
changeset |
files
|
| Sat, 22 May 2010 22:05:41 +0200 |
wenzelm |
simplified dockables using class Dockable;
|
changeset |
files
|
| Sat, 22 May 2010 21:48:01 +0200 |
wenzelm |
generic dockable window;
|
changeset |
files
|
| Sat, 22 May 2010 20:59:55 +0200 |
wenzelm |
separate event bus and dockable for raw output (stdout);
|
changeset |
files
|
| Sat, 22 May 2010 20:37:59 +0200 |
wenzelm |
more Mac OS problems;
|
changeset |
files
|
| Sat, 22 May 2010 20:37:20 +0200 |
wenzelm |
ignore system messages;
|
changeset |
files
|
| Sat, 22 May 2010 20:20:51 +0200 |
wenzelm |
use proper ISABELLE_PLATFORM instead of adhoc uname;
|
changeset |
files
|
| Sat, 22 May 2010 20:10:11 +0200 |
wenzelm |
refrain from using bold within the term language -- looks odd in Lobo with error/warning background;
|
changeset |
files
|
| Sat, 22 May 2010 20:02:26 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 22 May 2010 20:00:28 +0200 |
wenzelm |
removed timing;
|
changeset |
files
|
| Sat, 22 May 2010 19:42:20 +0200 |
wenzelm |
rendering information and style sheets via settings;
|
changeset |
files
|
| Fri, 21 May 2010 23:48:48 +0200 |
wenzelm |
more brackets -- unaligned to prevent odd auto-indentation;
|
changeset |
files
|
| Fri, 21 May 2010 23:21:40 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 21 May 2010 17:16:16 +0200 |
haftmann |
adjusted to changes in Mapping.thy
|
changeset |
files
|
| Fri, 21 May 2010 15:28:25 +0200 |
haftmann |
merged
|
changeset |
files
|
| Fri, 21 May 2010 15:22:37 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Fri, 21 May 2010 15:22:37 +0200 |
haftmann |
more lemmas about mappings, in particular keys
|
changeset |
files
|
| Fri, 21 May 2010 15:22:36 +0200 |
haftmann |
refined
|
changeset |
files
|
| Fri, 21 May 2010 11:50:34 +0200 |
haftmann |
nats in Haskell are readable
|
changeset |
files
|
| Fri, 21 May 2010 10:40:59 +0200 |
Cezary Kaliszyk |
Let rsp and prs in fun_rel/fun_map format
|
changeset |
files
|
| Fri, 21 May 2010 23:19:27 +0200 |
wenzelm |
tuned zoom_box;
|
changeset |
files
|
| Fri, 21 May 2010 22:08:13 +0200 |
wenzelm |
print calculation result in the context where the fact is actually defined -- proper externing;
|
changeset |
files
|