| Thu, 05 Aug 2010 18:17:59 +0200 |
wenzelm |
Text_Edit.convert/revert;
|
changeset |
files
|
| Thu, 05 Aug 2010 18:13:12 +0200 |
wenzelm |
renamed to_current to convert, and from_current to revert;
|
changeset |
files
|
| Thu, 05 Aug 2010 18:00:37 +0200 |
wenzelm |
Change.Snapshot: include from_current/to_current here, with precomputed changes;
|
changeset |
files
|
| Thu, 05 Aug 2010 16:58:18 +0200 |
wenzelm |
explicit Change.Snapshot and Document.Node;
|
changeset |
files
|
| Thu, 05 Aug 2010 14:35:35 +0200 |
wenzelm |
simplified/refined document model: collection of named nodes, without proper dependencies yet;
|
changeset |
files
|
| Thu, 05 Aug 2010 13:41:00 +0200 |
wenzelm |
somewhat uniform Thy_Header.split_thy_path in ML and Scala;
|
changeset |
files
|
| Wed, 04 Aug 2010 16:28:45 +0200 |
wenzelm |
uniform naming of imports (source specification) vs. parents (thy node names) vs. parent_thys (theory values);
|
changeset |
files
|
| Wed, 04 Aug 2010 16:11:51 +0200 |
wenzelm |
load_thy/after_load: explicit check of parent theories, which might have failed to join proofs -- avoid uninformative crash via Graph.UNDEF;
|
changeset |
files
|
| Wed, 04 Aug 2010 15:50:55 +0200 |
wenzelm |
export use_thys_wrt;
|
changeset |
files
|
| Wed, 04 Aug 2010 15:45:49 +0200 |
wenzelm |
more precise CRITICAL sections, using NAMED_CRITICAL uniformly;
|
changeset |
files
|
| Wed, 04 Aug 2010 15:14:48 +0200 |
wenzelm |
updated to Netbeans 6.9;
|
changeset |
files
|
| Wed, 04 Aug 2010 14:46:17 +0200 |
wenzelm |
schedule_futures: discontinued special treatment of non-parallel proofs, which might have affected memory usage at some point, but does not seem to make a difference with as little as 2GB RAM;
|
changeset |
files
|
| Tue, 03 Aug 2010 22:28:43 +0200 |
wenzelm |
more precise CRITICAL sections;
|
changeset |
files
|
| Tue, 03 Aug 2010 21:34:38 +0200 |
wenzelm |
removed unused Update_Time data (cf. ac94ff28e9e1);
|
changeset |
files
|
| Tue, 03 Aug 2010 18:52:42 +0200 |
wenzelm |
modernized specifications;
|
changeset |
files
|
| Tue, 03 Aug 2010 18:13:57 +0200 |
wenzelm |
eliminated Thy_Info.thy_ord, which is not really stable in interactive mode, since it depends on the somewhat accidental load order;
|
changeset |
files
|
| Tue, 03 Aug 2010 18:10:18 +0200 |
wenzelm |
find_and_undo: no need to kill_thy again -- Thy_Info.toplevel_begin_theory does that initially (cf. 3ceccd415145);
|
changeset |
files
|
| Tue, 03 Aug 2010 16:57:45 +0200 |
wenzelm |
renamed funny Library ROOT files back to default ROOT.ML -- ML files are no longer located via implicit load path (cf. 2b9bfa0b44f1);
|
changeset |
files
|
| Tue, 03 Aug 2010 16:48:36 +0200 |
wenzelm |
tuned headers -- more precise load path;
|
changeset |
files
|
| Tue, 03 Aug 2010 16:33:11 +0200 |
wenzelm |
theory loading: only the master source file is looked-up in the implicit load path;
|
changeset |
files
|
| Tue, 03 Aug 2010 16:21:33 +0200 |
wenzelm |
load_thy: refer to physical master directory (not accumulated source import directory) and enable loading files relatively to that;
|
changeset |
files
|
| Tue, 03 Aug 2010 15:53:36 +0200 |
wenzelm |
simplified/clarified Thy_Load path: search for master only, lookup other files relative to that;
|
changeset |
files
|
| Tue, 03 Aug 2010 08:23:08 +0200 |
bulwahn |
only test prolog code examples if environment variable is set
|
changeset |
files
|
| Mon, 02 Aug 2010 22:24:19 +0200 |
ballarin |
Revised proof of long division contributed by Jesus Aransay.
|
changeset |
files
|
| Sun, 01 Aug 2010 18:57:49 +0200 |
blanchet |
fix bug with Kodkodi < 1.2.14
|
changeset |
files
|
| Sun, 01 Aug 2010 17:43:51 +0200 |
blanchet |
merged
|
changeset |
files
|
| Sun, 01 Aug 2010 16:40:48 +0200 |
blanchet |
document new Nitpick options
|
changeset |
files
|
| Sun, 01 Aug 2010 16:35:25 +0200 |
blanchet |
tweak datatype sym break code
|
changeset |
files
|
| Sun, 01 Aug 2010 15:51:25 +0200 |
blanchet |
added manual symmetry breaking for datatypes
|
changeset |
files
|
| Sat, 31 Jul 2010 22:02:54 +0200 |
blanchet |
change the order of the SAT solvers, from fastest to slowest
|
changeset |
files
|