| Tue, 21 Jun 2011 17:17:39 +0200 |
blanchet |
avoid double ASCII-fication
|
changeset |
files
|
| Tue, 21 Jun 2011 17:17:39 +0200 |
blanchet |
make sure that enough type information is generated -- because the exported "lemma"s are also used as "conjecture", we can't optimize type information based on polarity
|
changeset |
files
|
| Tue, 21 Jun 2011 17:17:39 +0200 |
blanchet |
generate type predicates for existentials/skolems, otherwise some problems might not be provable
|
changeset |
files
|
| Tue, 21 Jun 2011 17:17:38 +0200 |
blanchet |
insert rather than append special facts to make it less likely that they're truncated away
|
changeset |
files
|
| Tue, 21 Jun 2011 15:43:27 +0200 |
wenzelm |
hidden font: full height makes cursor more visible;
|
changeset |
files
|
| Tue, 21 Jun 2011 14:12:49 +0200 |
wenzelm |
more uniform treatment of recode_set/recode_map;
|
changeset |
files
|
| Tue, 21 Jun 2011 13:29:44 +0200 |
wenzelm |
tuned iteration over short symbols;
|
changeset |
files
|
| Tue, 21 Jun 2011 12:53:55 +0200 |
wenzelm |
Symbol.is_ctrl: handle decoded version as well;
|
changeset |
files
|
| Tue, 21 Jun 2011 01:08:15 +0200 |
wenzelm |
some support for user symbol fonts;
|
changeset |
files
|
| Mon, 20 Jun 2011 23:25:39 +0200 |
wenzelm |
removed obsolete font specification;
|
changeset |
files
|
| Mon, 20 Jun 2011 23:21:24 +0200 |
wenzelm |
more tolerant Symbol.decode;
|
changeset |
files
|
| Mon, 20 Jun 2011 23:19:38 +0200 |
wenzelm |
simplified/generalized ISABELLE_FONTS handling;
|
changeset |
files
|
| Mon, 20 Jun 2011 22:48:41 +0200 |
wenzelm |
updated to jedit_build-20110620;
|
changeset |
files
|
| Mon, 20 Jun 2011 22:43:56 +0200 |
wenzelm |
added SyntaxUtilities.StyleExtender hook, with actual functionality in Isabelle/Scala;
|
changeset |
files
|