Sat, 21 May 2011 12:52:59 +0200 | intermed. ctxt .. FINISHED | file | diff | annotate |
Sat, 21 May 2011 09:54:39 +0200 | tuned | file | diff | annotate |
Sat, 21 May 2011 09:30:36 +0200 | tuned | file | diff | annotate |
Fri, 20 May 2011 13:43:25 +0200 | intermed. ctxt ..: generate1..Check_Postcond..(*map str2term asm*) | file | diff | annotate |
Fri, 20 May 2011 07:24:18 +0200 | tuned | file | diff | annotate |
Wed, 18 May 2011 11:58:48 +0200 | intermed. ctxt ..: calculation x+1=2 goes through | file | diff | annotate |
Tue, 17 May 2011 17:54:58 +0200 | tuned | file | diff | annotate |
Tue, 17 May 2011 15:02:43 +0200 | tuned | file | diff | annotate |