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 |