| Wed, 02 Oct 2013 10:13:54 +0300 |
kuncar |
NEWS and CONTRIBUTORS
|
changeset |
files
|
| Tue, 01 Oct 2013 23:51:15 +0200 |
blanchet |
merged
|
changeset |
files
|
| Tue, 01 Oct 2013 23:50:35 +0200 |
blanchet |
compile -- broken since 21dac9a60f0c
|
changeset |
files
|
| Tue, 01 Oct 2013 23:36:02 +0200 |
blanchet |
strengthened tactic for right-hand sides involving lambdas
|
changeset |
files
|
| Tue, 01 Oct 2013 23:46:46 +0200 |
krauss |
basic documentation for function elimination rules and fun_cases
|
changeset |
files
|
| Tue, 01 Oct 2013 22:50:42 +0200 |
blanchet |
allow uncurried lambda-abstractions on rhs of "primcorec"
|
changeset |
files
|
| Tue, 01 Oct 2013 19:58:31 +0200 |
blanchet |
tiny doc fix
|
changeset |
files
|
| Tue, 01 Oct 2013 17:06:35 +0200 |
traytel |
base the fset bnf on the new FSet theory
|
changeset |
files
|
| Tue, 01 Oct 2013 17:04:27 +0200 |
traytel |
improved backwards compatiblity of primrec_new (Isabelle/ML interface, attributes, etc.)
|
changeset |
files
|
| Tue, 01 Oct 2013 15:02:12 +0200 |
blanchet |
removed spurious save if nothing needs to bee learned
|
changeset |
files
|
| Tue, 01 Oct 2013 14:40:25 +0200 |
blanchet |
new version of MaSh that really honors the --port option and that checks for file name mismatches
|
changeset |
files
|
| Tue, 01 Oct 2013 14:29:27 +0200 |
blanchet |
minor textual changes
|
changeset |
files
|
| Tue, 01 Oct 2013 14:13:24 +0200 |
blanchet |
got rid of dead feature
|
changeset |
files
|
| Tue, 01 Oct 2013 14:05:25 +0200 |
blanchet |
refactoring -- splitting between constructor sugar dependencies and true BNF dependencies
|
changeset |
files
|
| 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
|