| Sat, 19 Jul 2008 11:05:18 +0200 | wenzelm | build jedit plugin only if jedit is available; | file | diff | annotate |
| Fri, 18 Jul 2008 17:09:48 +0200 | wenzelm | fixed Scala path; | file | diff | annotate |
| Thu, 17 Jul 2008 21:24:26 +0200 | wenzelm | tuned build order; | file | diff | annotate |
| Thu, 17 Jul 2008 15:33:01 +0200 | wenzelm | less verbosity; | file | diff | annotate |
| Thu, 17 Jul 2008 15:26:04 +0200 | wenzelm | Administrative build -- finish Isabelle source distribution. | file | diff | annotate |