| Thu, 28 Jul 2011 17:12:40 +0200 |
tuned
|
file | diff | annotate |
| Thu, 28 Jul 2011 16:32:57 +0200 |
updated protocol
|
file | diff | annotate |
| Wed, 27 Jul 2011 16:51:17 +0200 |
updated protocol
|
file | diff | annotate |
| Wed, 27 Jul 2011 08:43:58 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Tue, 26 Jul 2011 09:09:49 +0200 |
intermed: uncommented tests, updated protocoll
|
file | diff | annotate |
| Mon, 25 Jul 2011 14:19:22 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Tue, 19 Jul 2011 17:03:02 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Tue, 19 Jul 2011 09:43:01 +0200 |
intermed: uncomment tests with CompleteCalc
|
file | diff | annotate |
| Mon, 18 Jul 2011 09:31:58 +0200 |
updated protocol
|
file | diff | annotate |
| Fri, 15 Jul 2011 16:55:47 +0200 |
updated protocol
|
file | diff | annotate |
| Fri, 15 Jul 2011 09:09:18 +0200 |
added Combinators in test/Pure/General/Basics.thy
|
file | diff | annotate |
| Thu, 14 Jul 2011 10:01:33 +0200 |
update protocol
|
file | diff | annotate |
| Wed, 13 Jul 2011 10:41:17 +0200 |
started student work
|
file | diff | annotate |