| Fri, 15 Aug 2008 22:16:13 +0200 | wenzelm | jars: build Pure.jar; | changeset | files |
| Fri, 15 Aug 2008 21:57:22 +0200 | wenzelm | scan: proper recovery for escaped \\< symbols; | changeset | files |
| 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 |