| Sun, 28 Feb 2016 17:40:01 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 28 Feb 2016 17:37:20 +0100 | wenzelm | discontinued old 'header'; | changeset | files |
| Sun, 28 Feb 2016 15:57:03 +0100 | wenzelm | more official "isabelle check_sources"; | changeset | files |
| Sun, 28 Feb 2016 15:43:56 +0100 | wenzelm | removed pointless "isabelle yxml"; | changeset | files |
| Sun, 28 Feb 2016 15:34:50 +0100 | wenzelm | moved getopts to Scala; | changeset | files |
| Sun, 28 Feb 2016 15:26:09 +0100 | wenzelm | moved getopts to Scala; | changeset | files |
| Sun, 28 Feb 2016 15:21:08 +0100 | wenzelm | obsolete; | changeset | files |
| Sun, 28 Feb 2016 15:19:30 +0100 | wenzelm | obsolete; | changeset | files |
| Sun, 28 Feb 2016 15:12:24 +0100 | wenzelm | moved getopts to Scala; | changeset | files |
| Sun, 28 Feb 2016 15:00:17 +0100 | wenzelm | moved getopts to Scala; | changeset | files |
| Sun, 28 Feb 2016 14:48:38 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 28 Feb 2016 14:33:53 +0100 | wenzelm | just one File.find_files, based on Java 7 Files operations; | changeset | files |
| Sun, 28 Feb 2016 12:05:52 +0100 | Manuel Eberl | More efficient Extended Euclidean Algorithm | changeset | files |
| Sat, 27 Feb 2016 21:09:43 +0100 | wenzelm | more symbols; | changeset | files |
| Sat, 27 Feb 2016 21:04:13 +0100 | wenzelm | symbol interpretation for \<circle>; | changeset | files |
| Sat, 27 Feb 2016 20:42:13 +0100 | wenzelm | update due to fontforge save operation; | changeset | files |
| Sat, 27 Feb 2016 19:57:36 +0100 | wenzelm | moved getopts to Scala; | changeset | files |
| Sat, 27 Feb 2016 19:47:53 +0100 | wenzelm | moved getopts to Scala; | changeset | files |
| Sat, 27 Feb 2016 17:01:21 +0100 | wenzelm | no tracing SPAM, and thus more visible warnings; | changeset | files |
| Sat, 27 Feb 2016 16:52:30 +0100 | wenzelm | moved getopts to Scala; | changeset | files |
| Sat, 27 Feb 2016 16:51:36 +0100 | wenzelm | tuned messages; | changeset | files |
| Sat, 27 Feb 2016 16:37:47 +0100 | wenzelm | more operations (like Markup.parse_bool in ML); | changeset | files |
| Sat, 27 Feb 2016 16:37:06 +0100 | wenzelm | tuned messages; | changeset | files |
| Sat, 27 Feb 2016 16:19:02 +0100 | wenzelm | support for command-line options as in GNU bash; | changeset | files |
| Fri, 26 Feb 2016 22:44:11 +0100 | haftmann | more succint formulation of membership for multisets, similar to lists; | changeset | files |
| Fri, 26 Feb 2016 22:15:09 +0100 | Manuel Eberl | Tuned Euclidean Rings/GCD rings | changeset | files |
| Fri, 26 Feb 2016 18:33:01 +0100 | Manuel Eberl | Fixed code equations for Gcd/Lcm | changeset | files |
| Fri, 26 Feb 2016 15:49:35 +0100 | blanchet | generalized ML function | changeset | files |