| Mon, 08 Apr 2013 12:27:13 +0200 |
blanchet |
use somewhat lighter encoding
|
changeset |
files
|
| Mon, 08 Apr 2013 12:11:06 +0200 |
blanchet |
robustness w.r.t. unknown arguments
|
changeset |
files
|
| Sun, 07 Apr 2013 15:08:34 +0200 |
nipkow |
cleaned
|
changeset |
files
|
| Sun, 07 Apr 2013 10:06:37 +0200 |
nipkow |
cleaned
|
changeset |
files
|
| Sat, 06 Apr 2013 18:42:55 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Fri, 05 Apr 2013 20:54:55 +0200 |
wenzelm |
tuned signature -- agree with markup terminology;
|
changeset |
files
|
| Fri, 05 Apr 2013 20:43:43 +0200 |
wenzelm |
unified terminology with Markup.DOCUMENT_SOURCE in Scala, which is unused but displayed as "document source" entity in Isabelle/jEdit;
|
changeset |
files
|
| Fri, 05 Apr 2013 18:31:35 +0200 |
nipkow |
tuned document
|
changeset |
files
|
| Fri, 05 Apr 2013 15:13:25 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Thu, 04 Apr 2013 22:46:14 +0200 |
haftmann |
sup on multisets
|
changeset |
files
|
| Thu, 04 Apr 2013 22:29:59 +0200 |
haftmann |
convenient induction rule
|
changeset |
files
|
| Thu, 04 Apr 2013 20:59:16 +0200 |
wenzelm |
tuned README -- less buzzwords;
|
changeset |
files
|
| Thu, 04 Apr 2013 18:44:22 +0200 |
wenzelm |
more conventional synchronized access to Options_Variable -- avoid Swing_Thread getting in the way, which might be absent in some environments (e.g. SWT);
|
changeset |
files
|
| Thu, 04 Apr 2013 18:25:47 +0200 |
wenzelm |
added missing file;
|
changeset |
files
|