Fri, 26 Jun 2009 18:22:40 +0200 | wenzelm | more precise wrapping of I/O streams; | file | diff | annotate |
Thu, 25 Jun 2009 23:54:25 +0200 | wenzelm | some support for actual symbol recoding; | file | diff | annotate |
Thu, 25 Jun 2009 23:03:09 +0200 | wenzelm | added IsabelleEncoding -- a clone of utf-8 for now; | file | diff | annotate |