2010-07-16 haftmann 2010-07-16 corrected range chec
2010-07-16 haftmann 2010-07-16 first roughly working version of Imperative HOL for Scala
2010-07-16 haftmann 2010-07-16 tuned
2010-07-16 haftmann 2010-07-16 merged
2010-07-16 haftmann 2010-07-16 a first sketch for Imperative HOL witht Scala
2010-07-16 haftmann 2010-07-16 don't fail gracefully
2010-07-16 haftmann 2010-07-16 restored long-broken syntax sanity checks
2010-07-16 haftmann 2010-07-16 tuned interpunctation
2010-07-16 haftmann 2010-07-16 fragments of Scala
2010-07-15 haftmann 2010-07-15 merged
2010-07-15 haftmann 2010-07-15 adjusted; fixed typo
2010-07-15 haftmann 2010-07-15 dropped spurious export_code
2010-07-14 kleing 2010-07-14 use different log server (macbroy23 down)
2010-07-14 haftmann 2010-07-14 more consistent spacing in generated monadic code
2010-07-14 haftmann 2010-07-14 braced needed in layout-insensitive syntax
2010-07-14 haftmann 2010-07-14 repaired some implementations of imperative operations
2010-07-14 haftmann 2010-07-14 repaired reference implementation for OCaml
2010-07-14 haftmann 2010-07-14 part of pervasive test
2010-07-14 haftmann 2010-07-14 avoid ambiguities; tuned
2010-07-14 haftmann 2010-07-14 repaired of_list implementation for SML, OCaml
2010-07-14 haftmann 2010-07-14 avoid export_code ... file -
2010-07-14 haftmann 2010-07-14 explicit optional checking
2010-07-14 haftmann 2010-07-14 added Isar syntax for code checking
2010-07-14 haftmann 2010-07-14 corrected import
2010-07-14 haftmann 2010-07-14 use generic description slot for formal code checking
2010-07-14 haftmann 2010-07-14 formal slot for code checker
2010-07-14 haftmann 2010-07-14 export_code without file prints to standard output
2010-07-14 haftmann 2010-07-14 check without explicit path
2010-07-14 haftmann 2010-07-14 load cache_io before code generator; moved adhoc-overloading to generic tools
2010-07-14 haftmann 2010-07-14 tuned infix syntax
2010-07-14 haftmann 2010-07-14 dropped M suffix; added predicate monad bind
2010-07-14 haftmann 2010-07-14 self-built symbol for part of bind operator
2010-07-14 haftmann 2010-07-14 redirect stderr to stdout
2010-07-13 paulson 2010-07-13 merged
2010-07-13 paulson 2010-07-13 merged
2010-07-13 paulson 2010-07-13 corrected mixfix declarations and tidied proofs
2010-07-13 paulson 2010-07-13 merged
2010-07-13 paulson 2010-07-13 Fixed syntax and tidied some proofs
2010-07-13 bulwahn 2010-07-13 correcting function name of generator for products of traditional code generator (introduced in 0040bafffdef)
2010-07-13 haftmann 2010-07-13 consolidated names of theorems
2010-07-13 haftmann 2010-07-13 qualified names for (really) all array operations
2010-07-13 haftmann 2010-07-13 canonical argument order for get
2010-07-13 haftmann 2010-07-13 qualified names for (almost) all array operations
2010-07-13 haftmann 2010-07-13 canonical argument order for present
2010-07-13 haftmann 2010-07-13 canonical argument order for length
2010-07-13 kleing 2010-07-13 merged
2010-07-13 kleing 2010-07-13 new crontab
2010-07-13 haftmann 2010-07-13 merged
2010-07-13 haftmann 2010-07-13 proper merge of operation changes and generic do-syntax
2010-07-13 haftmann 2010-07-13 merged
2010-07-13 haftmann 2010-07-13 hide_const; update replaces change
2010-07-13 kleing 2010-07-13 remove separate afp settings again, use plain mac-poly64-M4 instead.
2010-07-13 kleing 2010-07-13 merged
2010-07-13 kleing 2010-07-13 new settings for afp test
2010-07-13 krauss 2010-07-13 Heap_Monad uses Monad_Syntax
2010-07-13 krauss 2010-07-13 State_Monad uses Monad_Syntax
2010-07-13 krauss 2010-07-13 uniform do notation for monads
2010-07-13 krauss 2010-07-13 generic ad-hoc overloading via check/uncheck
2010-07-13 haftmann 2010-07-13 corrected title
2010-07-13 haftmann 2010-07-13 theorem collections do not contain default rules any longer