2010-07-16 haftmann fragments of Scala
2010-07-15 haftmann merged
2010-07-15 haftmann adjusted; fixed typo
2010-07-15 haftmann dropped spurious export_code
2010-07-14 kleing use different log server (macbroy23 down)
2010-07-14 haftmann more consistent spacing in generated monadic code
2010-07-14 haftmann braced needed in layout-insensitive syntax
2010-07-14 haftmann repaired some implementations of imperative operations
2010-07-14 haftmann repaired reference implementation for OCaml
2010-07-14 haftmann part of pervasive test
2010-07-14 haftmann avoid ambiguities; tuned
2010-07-14 haftmann repaired of_list implementation for SML, OCaml
2010-07-14 haftmann avoid export_code ... file -
2010-07-14 haftmann explicit optional checking
2010-07-14 haftmann added Isar syntax for code checking
2010-07-14 haftmann corrected import
2010-07-14 haftmann use generic description slot for formal code checking
2010-07-14 haftmann formal slot for code checker
2010-07-14 haftmann export_code without file prints to standard output
2010-07-14 haftmann check without explicit path
2010-07-14 haftmann load cache_io before code generator; moved adhoc-overloading to generic tools
2010-07-14 haftmann tuned infix syntax
2010-07-14 haftmann dropped M suffix; added predicate monad bind
2010-07-14 haftmann self-built symbol for part of bind operator
2010-07-14 haftmann redirect stderr to stdout
2010-07-13 paulson merged
2010-07-13 paulson merged
2010-07-13 paulson corrected mixfix declarations and tidied proofs
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip