| 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 |