| Fri, 23 Sep 2011 14:08:50 +0200 | berghofe | Include keywords print_coercions and print_coercion_maps | changeset | files |
| Wed, 17 Aug 2011 19:49:07 +0200 | traytel | local coercion insertion algorithm to support complex coercions | changeset | files |
| Wed, 17 Aug 2011 19:49:07 +0200 | traytel | printing and deleting of coercions | changeset | files |
| Fri, 23 Sep 2011 14:59:29 +0200 | wenzelm | raw unbuffered socket IO, which bypasses the fragile BinIO layer in Poly/ML 5.4.x; | changeset | files |
| Fri, 23 Sep 2011 14:13:15 +0200 | wenzelm | default print mode for Isabelle/Scala, not just Isabelle/jEdit; | changeset | files |
| Fri, 23 Sep 2011 14:12:09 +0200 | wenzelm | augment existing print mode; | changeset | files |
| Fri, 23 Sep 2011 13:44:31 +0200 | wenzelm | explicit option for socket vs. fifo communication; | changeset | files |
| Fri, 23 Sep 2011 13:43:44 +0200 | wenzelm | tuned proof; | changeset | files |