| Fri, 15 Aug 2008 21:56:07 +0200 | wenzelm | basic setup for Scala material; | changeset | files |
| Fri, 15 Aug 2008 21:53:40 +0200 | wenzelm | Basic support for Isabelle symbols. | changeset | files |
| Fri, 15 Aug 2008 18:25:41 +0200 | wenzelm | added some abbrevs; | changeset | files |
| Fri, 15 Aug 2008 18:03:30 +0200 | wenzelm | removed redundant "symbol" property; | changeset | files |
| Fri, 15 Aug 2008 17:19:32 +0200 | wenzelm | Default interpretation of some Isabelle symbols. | changeset | files |
| Fri, 15 Aug 2008 17:03:58 +0200 | wenzelm | report antiquotation names; | changeset | files |
| Fri, 15 Aug 2008 17:03:56 +0200 | wenzelm | fixed DOCTYPE -- XHTML is case-sensitive! | changeset | files |