isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

Admin/build

2010-01-11	wenzelm	clarified terminology;	file \| diff \| annotate
2010-01-09	wenzelm	pass build error code;	file \| diff \| annotate
2010-01-06	wenzelm	tuned Isabelle/Scala build;	file \| diff \| annotate
2010-01-06	wenzelm	simplified build/bootstrap of graph browser -- avoid make;	file \| diff \| annotate
2010-01-06	wenzelm	simplified build/bootstrap of Isabelle/Scala components -- avoid make;	file \| diff \| annotate
2009-06-28	wenzelm	clarified "jars" target;	file \| diff \| annotate
2008-12-28	wenzelm	disabled old jedit plugin;	file \| diff \| annotate
2008-12-23	wenzelm	updated scala path;	file \| diff \| annotate
2008-12-03	wenzelm	eliminated traces of old Distribution directory;	file \| diff \| annotate
2008-10-04	wenzelm	simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;	file \| diff \| annotate
2008-10-04	wenzelm	replaced ISATOOL by ISABELLE_TOOL;	file \| diff \| annotate
2008-08-23	wenzelm	jars: removed obsolete Java process wrapper (cf. new Pure.jar);	file \| diff \| annotate
2008-08-16	wenzelm	more robust handling of directory layout variants;	file \| diff \| annotate
2008-08-15	wenzelm	jars: build Pure.jar;	file \| diff \| annotate
2008-07-19	wenzelm	build jedit plugin only if jedit is available;	file \| diff \| annotate
2008-07-18	wenzelm	fixed Scala path;	file \| diff \| annotate
2008-07-17	wenzelm	tuned build order;	file \| diff \| annotate
2008-07-17	wenzelm	less verbosity;	file \| diff \| annotate
2008-07-17	wenzelm	Administrative build -- finish Isabelle source distribution.	file \| diff \| annotate

less more (0) tip

isabelle