| Tue, 20 Jan 2009 18:06:56 +0100 | wenzelm | replaced java.util.Properties by plain association list; | file | diff | annotate |
| Sun, 18 Jan 2009 20:05:01 +0100 | wenzelm | added append_list, encode_list; | file | diff | annotate |
| Fri, 19 Dec 2008 20:37:29 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Sat, 23 Aug 2008 17:55:26 +0200 | wenzelm | append_string: proper backslash in character escapes; | file | diff | annotate |
| Sat, 23 Aug 2008 17:22:52 +0200 | wenzelm | Isabelle outer syntax. | file | diff | annotate |