| Thu, 25 Jun 2009 23:54:25 +0200 | wenzelm | some support for actual symbol recoding; | changeset | files |
| Thu, 25 Jun 2009 23:03:09 +0200 | wenzelm | added IsabelleEncoding -- a clone of utf-8 for now; | changeset | files |
| Thu, 25 Jun 2009 21:15:28 +0200 | wenzelm | added Boolean_Property, Int_Property; | changeset | files |