Thu, 25 Sep 2008 20:34:17 +0200 explicit checkpoint for low-level (global) theory operations admits concurrent SkipProof.prove;
wenzelm [Thu, 25 Sep 2008 20:34:17 +0200] rev 28362
explicit checkpoint for low-level (global) theory operations admits concurrent SkipProof.prove; tuned list operations;
Thu, 25 Sep 2008 20:34:15 +0200 explicit checkpoint for low-level (global) theory operations, admits concurrent proofs;
wenzelm [Thu, 25 Sep 2008 20:34:15 +0200] rev 28361
explicit checkpoint for low-level (global) theory operations, admits concurrent proofs;
Thu, 25 Sep 2008 19:15:50 +0200 circumvent problem with code redundancy
haftmann [Thu, 25 Sep 2008 19:15:50 +0200] rev 28360
circumvent problem with code redundancy
Thu, 25 Sep 2008 16:05:52 +0200 clarifed redundancy policy
haftmann [Thu, 25 Sep 2008 16:05:52 +0200] rev 28359
clarifed redundancy policy
Thu, 25 Sep 2008 14:37:32 +0200 tuned comments;
wenzelm [Thu, 25 Sep 2008 14:37:32 +0200] rev 28358
tuned comments;
Thu, 25 Sep 2008 14:35:03 +0200 added release_results;
wenzelm [Thu, 25 Sep 2008 14:35:03 +0200] rev 28357
added release_results; tuned comments;
Thu, 25 Sep 2008 14:35:02 +0200 abtract types: plain datatype with opaque signature matching;
wenzelm [Thu, 25 Sep 2008 14:35:02 +0200] rev 28356
abtract types: plain datatype with opaque signature matching; promise: join pending futures at end of theory;
Thu, 25 Sep 2008 14:35:01 +0200 prove: error with original thread position;
wenzelm [Thu, 25 Sep 2008 14:35:01 +0200] rev 28355
prove: error with original thread position;
Thu, 25 Sep 2008 13:21:13 +0200 explicit type OrdList.T;
wenzelm [Thu, 25 Sep 2008 13:21:13 +0200] rev 28354
explicit type OrdList.T;
Thu, 25 Sep 2008 11:14:01 +0200 (temporary workaround)
haftmann [Thu, 25 Sep 2008 11:14:01 +0200] rev 28353
(temporary workaround)
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip