| Tue, 23 Dec 2008 21:03:35 +0100 | wenzelm | updated thread-safe programming; | changeset | files |
| Tue, 23 Dec 2008 19:49:33 +0100 | wenzelm | updated generated file; | changeset | files |
| Tue, 23 Dec 2008 19:49:21 +0100 | wenzelm | added float_token, and num_const, float_const; | changeset | files |
| Tue, 23 Dec 2008 19:27:42 +0100 | wenzelm | renamed terminal category "float" to "float_token", to avoid name | changeset | files |
| Tue, 23 Dec 2008 13:20:34 +0100 | wenzelm | manual file type setup using AppHack 1.1; | changeset | files |
| Tue, 23 Dec 2008 12:53:44 +0100 | wenzelm | target PWD; | changeset | files |
| Tue, 23 Dec 2008 11:04:07 +0100 | wenzelm | updated scala path; | changeset | files |
| Tue, 23 Dec 2008 00:56:03 +0100 | wenzelm | added platform_file; | changeset | files |
| Mon, 22 Dec 2008 19:57:49 +0100 | wenzelm | proper -X option; | changeset | files |
| Mon, 22 Dec 2008 16:57:11 +0100 | wenzelm | unregister: refrain from cancelling self, which sometimes caused sledghammer to fail just before printing the result; | changeset | files |
| Mon, 22 Dec 2008 14:40:27 +0100 | wenzelm | more sophisticated MacOS interface script (mostly for Carbon Emacs); | changeset | files |
| Sun, 21 Dec 2008 12:41:09 +0100 | wenzelm | updated web style for Mercurial 1.1.1; | changeset | files |
| Sun, 21 Dec 2008 12:30:00 +0100 | wenzelm | misc webstyle adaptions; | changeset | files |
| Sat, 20 Dec 2008 23:09:48 +0100 | wenzelm | updated web style for Mercurial 1.1; | changeset | files |
| Sat, 20 Dec 2008 11:55:34 +0100 | wenzelm | removed Ids; | changeset | files |
| Sat, 20 Dec 2008 11:39:34 +0100 | wenzelm | merged | changeset | files |
| Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | changeset | files |
| Fri, 19 Dec 2008 16:16:10 -0800 | huffman | merged. | changeset | files |
| Thu, 18 Dec 2008 11:00:13 -0800 | huffman | constdefs -> definition | changeset | files |
| Fri, 19 Dec 2008 20:37:29 +0100 | wenzelm | removed Ids; | changeset | files |
| Thu, 18 Dec 2008 09:30:36 -0800 | huffman | merged. | changeset | files |
| Tue, 16 Dec 2008 21:31:55 -0800 | huffman | remove cvs Id tags | changeset | files |
| Wed, 17 Dec 2008 14:40:04 +0100 | wenzelm | merged | changeset | files |
| Wed, 17 Dec 2008 14:39:38 +0100 | wenzelm | basic setup for MacOS application bundle; | changeset | files |
| Wed, 17 Dec 2008 12:10:40 +0100 | haftmann | GHC ext pragma in generated Haskell modules | changeset | files |
| Wed, 17 Dec 2008 12:10:39 +0100 | haftmann | dropped Ids | changeset | files |
| Wed, 17 Dec 2008 12:10:39 +0100 | haftmann | temporary adaption to new locale code | changeset | files |
| Wed, 17 Dec 2008 12:10:38 +0100 | haftmann | restructured; circumvent sort problem | changeset | files |
| Tue, 16 Dec 2008 21:18:53 -0800 | huffman | merged. | changeset | files |
| Tue, 16 Dec 2008 09:44:59 -0800 | huffman | new theory Dsum: cpo of disjoint sum | changeset | files |
| Tue, 16 Dec 2008 09:10:09 -0800 | huffman | scale dependency graph in document | changeset | files |
| Tue, 16 Dec 2008 20:32:41 +0000 | Christian Urban | changed the names of insert_eqvt and set_eqvt so that it is clear that they have preconditions | changeset | files |
| 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 |