Mon, 23 Jul 2012 18:21:26 +0200 try droppable application using Platypus functionality -- in contrast to earlier AppHack (cf. 9343d4b7c5bf);
wenzelm [Mon, 23 Jul 2012 18:21:26 +0200] rev 48452
try droppable application using Platypus functionality -- in contrast to earlier AppHack (cf. 9343d4b7c5bf);
Mon, 23 Jul 2012 18:15:05 +0200 updated to Platypus 4.7;
wenzelm [Mon, 23 Jul 2012 18:15:05 +0200] rev 48451
updated to Platypus 4.7;
Mon, 23 Jul 2012 16:44:29 +0200 merged
wenzelm [Mon, 23 Jul 2012 16:44:29 +0200] rev 48450
merged
Mon, 23 Jul 2012 16:16:10 +0200 tuned;
wenzelm [Mon, 23 Jul 2012 16:16:10 +0200] rev 48449
tuned;
Mon, 23 Jul 2012 16:13:26 +0200 clarified init_component: always liberal;
wenzelm [Mon, 23 Jul 2012 16:13:26 +0200] rev 48448
clarified init_component: always liberal; reduced divergence of clone from lib/scripts/getsettings;
Mon, 23 Jul 2012 15:59:14 +0200 added system build mode: produce output in ISABELLE_HOME;
wenzelm [Mon, 23 Jul 2012 15:59:14 +0200] rev 48447
added system build mode: produce output in ISABELLE_HOME; determine output location more explicitly;
Mon, 23 Jul 2012 15:44:42 +0200 removed redundant check (cf. a8ed41b6280b);
wenzelm [Mon, 23 Jul 2012 15:44:42 +0200] rev 48446
removed redundant check (cf. a8ed41b6280b);
Mon, 23 Jul 2012 15:05:05 +0200 pass ISABELLE_BROWSER_INFO as explicit argument;
wenzelm [Mon, 23 Jul 2012 15:05:05 +0200] rev 48445
pass ISABELLE_BROWSER_INFO as explicit argument;
Mon, 23 Jul 2012 14:18:28 +0200 removed some old/unused stuff;
wenzelm [Mon, 23 Jul 2012 14:18:28 +0200] rev 48444
removed some old/unused stuff;
Mon, 23 Jul 2012 12:05:48 +0200 updated smlnj settings;
wenzelm [Mon, 23 Jul 2012 12:05:48 +0200] rev 48443
updated smlnj settings;
Mon, 23 Jul 2012 15:32:30 +0200 cap the number of facts returned by MaSh
blanchet [Mon, 23 Jul 2012 15:32:30 +0200] rev 48442
cap the number of facts returned by MaSh
Mon, 23 Jul 2012 15:32:30 +0200 remove MaSh junk associated with size functions
blanchet [Mon, 23 Jul 2012 15:32:30 +0200] rev 48441
remove MaSh junk associated with size functions
Mon, 23 Jul 2012 15:32:30 +0200 identified "evil" theories for MaSh -- this is rather ad hoc, but so is MaSh anyway
blanchet [Mon, 23 Jul 2012 15:32:30 +0200] rev 48440
identified "evil" theories for MaSh -- this is rather ad hoc, but so is MaSh anyway
Mon, 23 Jul 2012 15:32:30 +0200 removed MaSh junk arising from primrec definitions
blanchet [Mon, 23 Jul 2012 15:32:30 +0200] rev 48439
removed MaSh junk arising from primrec definitions
Mon, 23 Jul 2012 15:32:30 +0200 distinguish between recursive and nonrecursive definitions + clean up typedef dependencies in MaSh
blanchet [Mon, 23 Jul 2012 15:32:30 +0200] rev 48438
distinguish between recursive and nonrecursive definitions + clean up typedef dependencies in MaSh
Mon, 23 Jul 2012 15:32:30 +0200 tuning
blanchet [Mon, 23 Jul 2012 15:32:30 +0200] rev 48437
tuning
Mon, 23 Jul 2012 15:32:30 +0200 faster "save" operation
blanchet [Mon, 23 Jul 2012 15:32:30 +0200] rev 48436
faster "save" operation
Mon, 23 Jul 2012 15:32:30 +0200 include unknown local facts in MaSh
blanchet [Mon, 23 Jul 2012 15:32:30 +0200] rev 48435
include unknown local facts in MaSh
Mon, 23 Jul 2012 15:32:30 +0200 ensure all calls to "mash" program are synchronous
blanchet [Mon, 23 Jul 2012 15:32:30 +0200] rev 48434
ensure all calls to "mash" program are synchronous
Mon, 23 Jul 2012 15:32:30 +0200 don't relearn old facts in Isar mode
blanchet [Mon, 23 Jul 2012 15:32:30 +0200] rev 48433
don't relearn old facts in Isar mode
Mon, 23 Jul 2012 15:32:30 +0200 took out CVC3 again -- there seems to be issues with the server version of CVC3 + minor tweaks
blanchet [Mon, 23 Jul 2012 15:32:30 +0200] rev 48432
took out CVC3 again -- there seems to be issues with the server version of CVC3 + minor tweaks
Mon, 23 Jul 2012 09:28:03 +0200 restrict unqualified imports from Haskell Prelude to a small set of fundamental operations
haftmann [Mon, 23 Jul 2012 09:28:03 +0200] rev 48431
restrict unqualified imports from Haskell Prelude to a small set of fundamental operations
Mon, 23 Jul 2012 09:26:55 +0200 more correct import
haftmann [Mon, 23 Jul 2012 09:26:55 +0200] rev 48430
more correct import
Sun, 22 Jul 2012 23:36:11 +0200 merged
wenzelm [Sun, 22 Jul 2012 23:36:11 +0200] rev 48429
merged
Sun, 22 Jul 2012 10:00:51 +0200 NEWS
haftmann [Sun, 22 Jul 2012 10:00:51 +0200] rev 48428
NEWS
Sun, 22 Jul 2012 09:56:34 +0200 library theories for debugging and parallel computing using code generation towards Isabelle/ML
haftmann [Sun, 22 Jul 2012 09:56:34 +0200] rev 48427
library theories for debugging and parallel computing using code generation towards Isabelle/ML
Sat, 21 Jul 2012 20:01:16 +0200 also consider current working directory (cf. 3a5a5a992519)
haftmann [Sat, 21 Jul 2012 20:01:16 +0200] rev 48426
also consider current working directory (cf. 3a5a5a992519)
Sun, 22 Jul 2012 23:31:57 +0200 parallel scheduling of jobs;
wenzelm [Sun, 22 Jul 2012 23:31:57 +0200] rev 48425
parallel scheduling of jobs; misc tuning;
Sun, 22 Jul 2012 21:59:14 +0200 tuned;
wenzelm [Sun, 22 Jul 2012 21:59:14 +0200] rev 48424
tuned;
Sun, 22 Jul 2012 12:26:41 +0200 maintain set of source digests, including relevant parts of session entry;
wenzelm [Sun, 22 Jul 2012 12:26:41 +0200] rev 48423
maintain set of source digests, including relevant parts of session entry;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip