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