| Fri, 17 Aug 2007 19:24:37 +0200 |
nipkow |
removed set_concat_map and improved set_concat
|
changeset |
files
|
| Fri, 17 Aug 2007 17:49:33 +0200 |
wenzelm |
check_deps: ensure that theory is actually present, not just update_time > 1;
|
changeset |
files
|
| Fri, 17 Aug 2007 13:59:00 +0200 |
haftmann |
tuned order
|
changeset |
files
|
| Fri, 17 Aug 2007 13:58:59 +0200 |
haftmann |
reoriented hook application order
|
changeset |
files
|
| Fri, 17 Aug 2007 13:58:58 +0200 |
haftmann |
explicit constants for overloaded definitions
|
changeset |
files
|
| Fri, 17 Aug 2007 13:58:57 +0200 |
haftmann |
dropped junk
|
changeset |
files
|
| Fri, 17 Aug 2007 09:20:45 +0200 |
obua |
tuned
|
changeset |
files
|
| Fri, 17 Aug 2007 09:19:53 +0200 |
obua |
changed floatarith lemmas
|
changeset |
files
|
| Fri, 17 Aug 2007 00:03:50 +0200 |
wenzelm |
proper signature for Meson;
|
changeset |
files
|
| Thu, 16 Aug 2007 21:52:08 +0200 |
wenzelm |
force: non-critical, but also non-thread-safe (potentially multiple evaluations);
|
changeset |
files
|
| Thu, 16 Aug 2007 21:52:07 +0200 |
wenzelm |
removed dead code;
|
changeset |
files
|
| Thu, 16 Aug 2007 18:53:22 +0200 |
wenzelm |
improved treatment of global interrupts: Thread.EnableBroadcastInterrupt, redefine ignore/raise_interrupt;
|
changeset |
files
|