| Tue, 16 Dec 2008 19:24:55 +0100 | wenzelm | proper document antiquotations; | changeset | files |
| Tue, 16 Dec 2008 18:04:31 +0100 | wenzelm | merged | changeset | files |
| Tue, 16 Dec 2008 08:46:07 +0100 | krauss | method "sizechange" proves termination of functions; added more infrastructure for termination proofs | changeset | files |
| Tue, 16 Dec 2008 18:04:16 +0100 | wenzelm | future proofs: Future.fork_pri 1 minimizes queue length and pending promises | changeset | files |
| Tue, 16 Dec 2008 16:25:20 +0100 | wenzelm | renamed structure TaskQueue to Task_Queue; | changeset | files |
| Tue, 16 Dec 2008 16:25:19 +0100 | wenzelm | Future.fork_pri; | changeset | files |
| Tue, 16 Dec 2008 16:25:19 +0100 | wenzelm | renamed structure TaskQueue to Task_Queue; | changeset | files |
| Tue, 16 Dec 2008 16:25:19 +0100 | wenzelm | renamed structure TaskQueue to Task_Queue; | changeset | files |
| Tue, 16 Dec 2008 16:25:18 +0100 | wenzelm | renamed structure TaskQueue to Task_Queue; | changeset | files |
| Tue, 16 Dec 2008 12:13:53 +0100 | wenzelm | removed old scheduler; | changeset | files |
| Tue, 16 Dec 2008 00:19:47 +0100 | wenzelm | tuned enqueue: plain add_edge, acyclic not required here; | changeset | files |
| Mon, 15 Dec 2008 22:07:30 +0100 | wenzelm | tuned messages; | changeset | files |
| Mon, 15 Dec 2008 21:55:21 +0100 | wenzelm | updated generated file; | changeset | files |
| Mon, 15 Dec 2008 21:54:37 +0100 | wenzelm | repaired railroad accident; | changeset | files |
| Mon, 15 Dec 2008 21:41:21 +0100 | wenzelm | updated generated files; | changeset | files |
| Mon, 15 Dec 2008 21:41:00 +0100 | wenzelm | added 'atp_messages' command, which displays recent messages synchronously; | changeset | files |
| Mon, 15 Dec 2008 10:19:02 +0100 | nipkow | merged | changeset | files |
| Mon, 15 Dec 2008 10:16:38 +0100 | nipkow | flipped fold implementation | changeset | files |
| Thu, 11 Dec 2008 08:59:03 +0100 | nipkow | merged | changeset | files |
| Thu, 11 Dec 2008 08:56:02 +0100 | nipkow | codegen | changeset | files |
| Thu, 11 Dec 2008 08:53:53 +0100 | nipkow | code for {x:A. P(x)} and for fold | changeset | files |
| Thu, 11 Dec 2008 08:52:50 +0100 | nipkow | Testfile for Stefan's code generator | changeset | files |
| Mon, 15 Dec 2008 09:58:45 +0100 | haftmann | moved value.ML to src/Tools | changeset | files |
| Mon, 15 Dec 2008 09:58:44 +0100 | haftmann | \underscoreoff is now default | changeset | files |
| Mon, 15 Dec 2008 07:41:07 +0000 | Christian Urban | tuned some proofs | changeset | files |
| Sat, 13 Dec 2008 17:46:13 +0100 | wenzelm | removed Ids; | changeset | files |
| Sat, 13 Dec 2008 17:13:09 +0100 | berghofe | merged | changeset | files |
| Sat, 13 Dec 2008 16:59:33 +0100 | berghofe | merged | changeset | files |
| Sat, 13 Dec 2008 16:29:33 +0100 | berghofe | merged | changeset | files |
| Sat, 13 Dec 2008 16:26:06 +0100 | berghofe | Unified syntax of nominal_primrec with the one used by fun(ction) and new | changeset | files |