| Sun, 20 Jul 2008 23:06:55 +0200 |
wenzelm |
added type range;
|
changeset |
files
|
| Sun, 20 Jul 2008 23:06:53 +0200 |
wenzelm |
renamed command span markup;
|
changeset |
files
|
| Sun, 20 Jul 2008 20:23:49 +0200 |
wenzelm |
SideKickParsedData: minimal content;
|
changeset |
files
|
| Sun, 20 Jul 2008 11:19:08 +0200 |
haftmann |
(adjusted)
|
changeset |
files
|
| Sun, 20 Jul 2008 11:10:04 +0200 |
haftmann |
(adjusted)
|
changeset |
files
|
| Sat, 19 Jul 2008 19:27:13 +0200 |
bulwahn |
added verification framework for the HeapMonad and quicksort as example for this framework
|
changeset |
files
|
| Sat, 19 Jul 2008 11:05:18 +0200 |
wenzelm |
build jedit plugin only if jedit is available;
|
changeset |
files
|
| Fri, 18 Jul 2008 22:03:20 +0200 |
wenzelm |
misc tuning;
|
changeset |
files
|
| Fri, 18 Jul 2008 18:25:57 +0200 |
haftmann |
more class instantiations
|
changeset |
files
|
| Fri, 18 Jul 2008 18:25:56 +0200 |
haftmann |
refined code generator setup for rational numbers; more simplification rules for rational numbers
|
changeset |
files
|
| Fri, 18 Jul 2008 18:25:53 +0200 |
haftmann |
moved op dvd to theory Ring_and_Field; generalized a couple of lemmas
|
changeset |
files
|
| Fri, 18 Jul 2008 17:09:48 +0200 |
wenzelm |
fixed Scala path;
|
changeset |
files
|
| Thu, 17 Jul 2008 21:24:26 +0200 |
wenzelm |
tuned build order;
|
changeset |
files
|
| Thu, 17 Jul 2008 21:23:32 +0200 |
wenzelm |
proper purge_tmp;
|
changeset |
files
|