| Tue, 01 Oct 2013 14:05:25 +0200 |
blanchet |
renamed ML files
|
changeset |
files
|
| Tue, 01 Oct 2013 14:05:25 +0200 |
blanchet |
renamed theory file
|
changeset |
files
|
| Tue, 01 Oct 2013 12:53:24 +0200 |
wenzelm |
tuned signature -- facilitate experimentation with other processes;
|
changeset |
files
|
| Mon, 30 Sep 2013 22:01:46 +0900 |
Christian Sternagel |
preserve types during rewriting
|
changeset |
files
|
| Mon, 30 Sep 2013 22:36:43 +0200 |
blanchet |
made SML/NJ happy
|
changeset |
files
|
| Mon, 30 Sep 2013 18:08:35 +0200 |
blanchet |
made SML/NJ happy
|
changeset |
files
|
| Mon, 30 Sep 2013 17:53:44 +0200 |
blanchet |
made SML/NJ happier
|
changeset |
files
|
| Mon, 30 Sep 2013 17:47:50 +0200 |
blanchet |
added experimental configuration options to tune use of builtin symbols in SMT
|
changeset |
files
|
| Mon, 30 Sep 2013 16:28:54 +0200 |
blanchet |
added possibility to reset builtins (for experimentation)
|
changeset |
files
|
| Mon, 30 Sep 2013 16:07:56 +0200 |
blanchet |
just one data slot (record) per program unit
|
changeset |
files
|
| Mon, 30 Sep 2013 15:10:18 +0200 |
blanchet |
more "primrec_new" documentation
|
changeset |
files
|
| Mon, 30 Sep 2013 14:19:33 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 30 Sep 2013 14:17:27 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 30 Sep 2013 13:45:17 +0200 |
wenzelm |
eliminated clone of Inductive.mk_cases_tac;
|
changeset |
files
|
| Mon, 30 Sep 2013 13:35:05 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 30 Sep 2013 13:29:09 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Mon, 30 Sep 2013 13:20:44 +0200 |
wenzelm |
provide regular ML interface and use plain Syntax.read_prop/Syntax.check_prop (update by Manuel Eberl);
|
changeset |
files
|
| Mon, 30 Sep 2013 14:04:26 +0200 |
blanchet |
merge
|
changeset |
files
|
| Mon, 30 Sep 2013 13:59:07 +0200 |
blanchet |
minor tweak to error message
|
changeset |
files
|
| Mon, 30 Sep 2013 11:20:24 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 29 Sep 2013 18:51:01 +0200 |
wenzelm |
explicit caret position after replacement;
|
changeset |
files
|
| Sun, 29 Sep 2013 16:01:22 +0200 |
haftmann |
tuned proofs
|
changeset |
files
|
| Sun, 29 Sep 2013 14:07:47 +0200 |
wenzelm |
observe user preferences;
|
changeset |
files
|
| Sun, 29 Sep 2013 13:53:16 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:56:50 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:49:47 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:44:40 +0200 |
wenzelm |
more on text completion;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:21:11 +0200 |
wenzelm |
made SML/NJ happy (NB: toplevel ML environment is unmanaged);
|
changeset |
files
|
| Sun, 29 Sep 2013 12:18:47 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:17:02 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
| Sun, 29 Sep 2013 11:59:01 +0200 |
wenzelm |
updated to sumatra_pdf-2.3.2;
|
changeset |
files
|
| Sun, 29 Sep 2013 11:21:02 +0200 |
wenzelm |
low-priority print task is always asynchronous -- relevant for single-core machine and automatically tried tools;
|
changeset |
files
|
| Sun, 29 Sep 2013 00:15:05 +0200 |
wenzelm |
backout c6297fa1031a -- strange parsers are required to make this work;
|
changeset |
files
|
| Sat, 28 Sep 2013 22:47:17 +0200 |
wenzelm |
make SML/NJ more happy;
|
changeset |
files
|
| Sat, 28 Sep 2013 20:24:13 +0200 |
wenzelm |
enforce IsabelleText font for better symbol coverage, especially on Windows;
|
changeset |
files
|
| Sat, 28 Sep 2013 16:36:17 +0200 |
wenzelm |
proper wrapper for parser -- more explicit error;
|
changeset |
files
|
| Sat, 28 Sep 2013 16:10:26 +0200 |
wenzelm |
misc tuning for release;
|
changeset |
files
|
| Sat, 28 Sep 2013 15:36:14 +0200 |
wenzelm |
remove remains from WinRun4J;
|
changeset |
files
|
| Sat, 28 Sep 2013 14:41:46 +0200 |
wenzelm |
proper document markup;
|
changeset |
files
|
| Sat, 28 Sep 2013 14:36:04 +0200 |
wenzelm |
uniform $ISABELLE_HOME on all platforms;
|
changeset |
files
|
| Sat, 28 Sep 2013 13:50:38 +0200 |
wenzelm |
simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);
|
changeset |
files
|
| Sat, 28 Sep 2013 13:40:33 +0200 |
wenzelm |
update second environment that is used for System.getenv(String);
|
changeset |
files
|
| Sat, 28 Sep 2013 12:55:33 +0200 |
wenzelm |
adhoc update of JVM environment variables, which is relevant for cold start of jEdit;
|
changeset |
files
|
| Fri, 27 Sep 2013 21:54:55 +0200 |
kuncar |
tuned names
|
changeset |
files
|
| Fri, 27 Sep 2013 21:54:55 +0200 |
kuncar |
fold and lemmas about cardinality
|
changeset |
files
|
| Fri, 27 Sep 2013 21:04:57 +0200 |
wenzelm |
more robust parser: 'imports' are mandatory except for bootstrapping Pure;
|
changeset |
files
|
| Fri, 27 Sep 2013 20:13:35 +0200 |
blanchet |
one more unfolding necessary
|
changeset |
files
|
| Fri, 27 Sep 2013 19:30:49 +0200 |
blanchet |
faster exit in common case
|
changeset |
files
|
| Fri, 27 Sep 2013 17:57:45 +0200 |
nipkow |
merged
|
changeset |
files
|
| Fri, 27 Sep 2013 17:57:30 +0200 |
nipkow |
hide coercion
|
changeset |
files
|
| Fri, 27 Sep 2013 17:39:34 +0200 |
blanchet |
fixed one line that would never have compiled in a typed language + release the lock in case of exceptions
|
changeset |
files
|
| Fri, 27 Sep 2013 17:20:02 +0200 |
nipkow |
merged
|
changeset |
files
|
| Fri, 27 Sep 2013 16:48:47 +0200 |
nipkow |
added Bleast code eqns for RBT
|
changeset |
files
|
| Fri, 27 Sep 2013 15:38:23 +0200 |
nipkow |
added code eqns for bounded LEAST operator
|
changeset |
files
|
| Fri, 27 Sep 2013 14:43:26 +0200 |
kuncar |
new theory of finite sets as a subtype
|
changeset |
files
|
| Fri, 27 Sep 2013 14:43:26 +0200 |
kuncar |
new parametricity rules and useful lemmas
|
changeset |
files
|
| Fri, 27 Sep 2013 14:43:26 +0200 |
kuncar |
allow to specify multiple parametricity transfer rules in lift_definition
|
changeset |
files
|
| Fri, 27 Sep 2013 12:26:39 +0200 |
Andreas Lochbihler |
merged
|
changeset |
files
|
| Fri, 27 Sep 2013 12:26:23 +0200 |
Andreas Lochbihler |
generalise lemma
|
changeset |
files
|
| Fri, 27 Sep 2013 11:56:52 +0200 |
wenzelm |
proper latex;
|
changeset |
files
|