Thu, 17 May 2012 19:09:48 +0200 |
fun check_error_patterns finished
|
file | diff | annotate |
Thu, 17 May 2012 16:44:13 +0200 |
intermed.
|
file | diff | annotate |
Thu, 17 May 2012 12:43:04 +0200 |
fun get_bdv_subst: get a substitution for bound variables from a program
|
file | diff | annotate |
Wed, 16 May 2012 15:01:47 +0200 |
prep. extend "type met" with errpaty
|
file | diff | annotate |
Wed, 16 May 2012 08:59:09 +0200 |
added fun check_err_patt
|
file | diff | annotate |
Sun, 15 May 2011 13:59:05 +0200 |
tuned
|
file | diff | annotate |
Fri, 13 May 2011 11:45:07 +0200 |
intermed. ctxt ..: extended PblObj with ctxt
|
file | diff | annotate |
Thu, 05 May 2011 14:21:54 +0200 |
intermed. ctxt over all minisubpbl x+1=2
|
file | diff | annotate |
Fri, 08 Apr 2011 15:16:08 +0200 |
intermed. context integration: parse replaced in some cases
|
file | diff | annotate |
Thu, 07 Apr 2011 16:31:05 +0200 |
intermed. context integration
|
file | diff | annotate |
Mon, 04 Apr 2011 11:05:07 +0200 |
intermed. context integration appl_add does not work
|
file | diff | annotate |
Mon, 21 Mar 2011 00:32:53 +0100 |
intermed. context integration: Isac compiles.
|
file | diff | annotate |
Mon, 21 Feb 2011 19:40:36 +0100 |
part.update Isabelle2011
|
file | diff | annotate |
Mon, 11 Oct 2010 13:31:22 +0200 |
removed all ".thy" in src/ and test/
|
file | diff | annotate |
Sat, 09 Oct 2010 16:03:49 +0200 |
repaired Print_Mode.setmp [] ((Syntax.string_of_term
|
file | diff | annotate |
Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Thu, 23 Sep 2010 16:38:25 +0200 |
changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/
|
file | diff | annotate |
Mon, 13 Sep 2010 18:12:15 +0200 |
ref --> Unsynchronized.ref tuned.
|
file | diff | annotate |
Mon, 13 Sep 2010 17:21:22 +0200 |
ref --> Unsynchronized.ref done
|
file | diff | annotate |
Wed, 08 Sep 2010 12:10:43 +0200 |
tuned
|
file | diff | annotate |
Wed, 25 Aug 2010 16:20:07 +0200 |
renamed isac's directories and Build_Isac.thy
|
file | diff | annotate | base |