| Thu, 21 Aug 2008 16:02:54 +0200 |
wenzelm |
pattern: proper "." not "[.]"!
|
changeset |
files
|
| Thu, 21 Aug 2008 15:27:28 +0200 |
wenzelm |
recode: proper result for unmatched symbols;
|
changeset |
files
|
| Thu, 21 Aug 2008 15:20:00 +0200 |
wenzelm |
more robust pattern: look at longer matches first, added catch-all case;
|
changeset |
files
|
| Thu, 21 Aug 2008 13:05:37 +0200 |
wenzelm |
added get_setting;
|
changeset |
files
|
| Thu, 21 Aug 2008 13:05:31 +0200 |
wenzelm |
read_symbols: proper IsabelleSystem.platform_path;
|
changeset |
files
|
| Thu, 21 Aug 2008 13:05:28 +0200 |
wenzelm |
added ISABELLE_ROOT_JVM;
|
changeset |
files
|
| Mon, 18 Aug 2008 17:57:06 +0200 |
ballarin |
Theorem on polynomial division and lemmas.
|
changeset |
files
|
| Sun, 17 Aug 2008 21:11:24 +0200 |
wenzelm |
removed parse_element -- no longer fits to liberal parse!
|
changeset |
files
|
| Sun, 17 Aug 2008 21:11:08 +0200 |
wenzelm |
Minimalistic XML tree values.
|
changeset |
files
|
| Sun, 17 Aug 2008 21:11:06 +0200 |
wenzelm |
Efficient text representation of XML trees.
|
changeset |
files
|
| Sun, 17 Aug 2008 21:11:04 +0200 |
wenzelm |
added General/xml.scala, General/yxml.scala;
|
changeset |
files
|
| Sun, 17 Aug 2008 16:45:19 +0200 |
wenzelm |
decode escaped symbols as well;
|
changeset |
files
|