| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Tue, 16 Jan 2018 09:30:00 +0100 | wenzelm | standardized towards new-style formal comments: isabelle update_comments; | file | diff | annotate |
| Thu, 05 Nov 2015 10:39:59 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Sat, 11 Apr 2015 11:56:40 +0100 | paulson | Overloading of ln and powr, but "approximation" no longer works for powr. Code generation also fails due to type ambiguity in scala. | file | diff | annotate |
| Wed, 12 Nov 2014 17:37:43 +0100 | immler | added quickcheck[approximation] | file | diff | annotate |