| Sat, 23 Aug 2008 23:24:16 +0200 | wenzelm | jars: removed obsolete Java process wrapper (cf. new Pure.jar); | file | diff | annotate |
| Sat, 16 Aug 2008 13:32:23 +0200 | wenzelm | more robust handling of directory layout variants; | file | diff | annotate |
| Fri, 15 Aug 2008 22:16:13 +0200 | wenzelm | jars: build Pure.jar; | file | diff | annotate |
| 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 |