| Tue, 13 Oct 2015 09:21:15 +0200 | haftmann | prod_case as canonical name for product type eliminator | file | diff | annotate |
| Fri, 04 Sep 2015 19:22:13 +0200 | wenzelm | modernized name space management -- more uniform qualification; | file | diff | annotate |
| Wed, 17 Jun 2015 11:03:05 +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 |
| Tue, 19 Nov 2013 10:05:53 +0100 | haftmann | eliminiated neg_numeral in favour of - (numeral _) | file | diff | annotate |
| Sun, 23 Jun 2013 21:16:07 +0200 | haftmann | migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier | file | diff | annotate |
| Fri, 21 Jun 2013 12:41:08 +0200 | hoelzl | Code_Real_Approx_By_Float: remove code equations using Ratreal | file | diff | annotate |