isabelle: File revisions

etc/options

2012-08-14	wenzelm	2012-08-14	clarified format of etc/options: only declarations, not re-definitions;	file \| diff \| annotate
2012-08-03	wenzelm	2012-08-03	timeout for session build job; tuned error messages;	file \| diff \| annotate
2012-08-01	wenzelm	2012-08-01	explicit option skip_proofs;	file \| diff \| annotate
2012-07-28	wenzelm	2012-07-28	some description of main build options;	file \| diff \| annotate
2012-07-26	wenzelm	2012-07-26	more build options;	file \| diff \| annotate
2012-07-26	wenzelm	2012-07-26	more build options;	file \| diff \| annotate
2012-07-26	wenzelm	2012-07-26	refined "document_dump_mode": "all", "tex+sty", "tex";	file \| diff \| annotate
2012-07-26	wenzelm	2012-07-26	discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;	file \| diff \| annotate
2012-07-24	wenzelm	2012-07-24	more build options;	file \| diff \| annotate
2012-07-24	wenzelm	2012-07-24	more build options;	file \| diff \| annotate
2012-07-24	wenzelm	2012-07-24	added "document_dump_only" (cf. negated usedir -C);	file \| diff \| annotate
2012-07-24	wenzelm	2012-07-24	further imitation of ISABELLE_USEDIR_OPTIONS via options;	file \| diff \| annotate
2012-07-24	wenzelm	2012-07-24	added "browser_info_remote" (cf. usedir -P);	file \| diff \| annotate
2012-07-24	wenzelm	2012-07-24	tuned options;	file \| diff \| annotate
2012-07-24	wenzelm	2012-07-24	timing is command line options, not system option;	file \| diff \| annotate
2012-07-24	wenzelm	2012-07-24	clarified document options;	file \| diff \| annotate
2012-07-24	wenzelm	2012-07-24	pass build options to ML; some imitation of usedir Session.init;	file \| diff \| annotate
2012-07-20	wenzelm	2012-07-20	require explicit initialization of options; more explicit Position operations;	file \| diff \| annotate
2012-07-20	wenzelm	2012-07-20	some basic Isabelle options;	file \| diff \| annotate

isabelle

RSS Atom