| Wed, 10 Jun 2015 19:10:20 +0200 | wenzelm | isabelle update_cartouches; | 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 |