| Sat, 16 Aug 2008 23:51:09 +0200 | wenzelm | tuned Recoder; | file | diff | annotate |
| Sat, 16 Aug 2008 23:29:02 +0200 | wenzelm | more private fields; | file | diff | annotate |
| Sat, 16 Aug 2008 23:12:23 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Sat, 16 Aug 2008 21:23:03 +0200 | wenzelm | use scala.collection.jcl.HashMap, which seems to be more efficient; | file | diff | annotate |
| Sat, 16 Aug 2008 15:57:06 +0200 | wenzelm | reading symbol interpretation tables; | file | diff | annotate |
| Fri, 15 Aug 2008 22:16:14 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 15 Aug 2008 21:53:40 +0200 | wenzelm | Basic support for Isabelle symbols. | file | diff | annotate |