isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip

default document_build (lualatex);
12 months ago, by wenzelm
more robust: allow \printindex within the document;
12 months ago, by wenzelm
clarified bash scripts, with public interfaces for user-defined Document_Build.Engine;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
option document_preprocessor;
12 months ago, by wenzelm
show symbols in Isabelle/ML instead of perl;
12 months ago, by wenzelm
more robust run of makeindex (amending 0f0a2148a099, Gerwin Klein 2004), using the old status-quo of e.g. doc-src/Intro/Makefile;
12 months ago, by wenzelm
tuned --- more robust;
12 months ago, by wenzelm
discontinued somewhat pointless "fixbookmarks": default output works sufficiently well;
12 months ago, by wenzelm
more uniform bibtex error, without using perl (see 4710dd5093a3);
12 months ago, by wenzelm
proper message for instances of Exn.User_Error, without extra Output.error_prefix (e.g. for Document_Build.Build_Error);
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified command-line options;
12 months ago, by wenzelm
obsolete (see 5a3a2a52648d);
12 months ago, by wenzelm
redundant: copy produced from session document_files;
12 months ago, by wenzelm
clarified treatment of Isabelle .sty files;
12 months ago, by wenzelm
option document_logo;
12 months ago, by wenzelm
proper options;
12 months ago, by wenzelm
option document_build refers to build engine in Isabelle/Scala;
12 months ago, by wenzelm
redundant: tmp_dir is purged anyway;
12 months ago, by wenzelm
misc tuning and clarification;
12 months ago, by wenzelm
clarified modules;
12 months ago, by wenzelm
tuned --- clarified corner cases;
12 months ago, by wenzelm
more uniform use of Properties.Eq.unapply, with slightly changed semantics in boundary cases;
12 months ago, by wenzelm
clarified signature -- avoid odd warning about scala/bug#6675;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
proper syntax of Scala 3;
12 months ago, by wenzelm
enforce syntax of Scala 3;
12 months ago, by wenzelm
things need to be ugly
12 months ago, by paulson
merged
12 months ago, by paulson
sorted as an abbreviation
12 months ago, by paulson
mere abbreviation for logical alias
12 months ago, by haftmann
avoid unexpected output+behaviour when CDPATH is set
12 months ago, by kleing
recover some Linux test, using old macbroy2 as i21of4 (Ubuntu 20.04);
12 months ago, by wenzelm
avoid perl;
12 months ago, by wenzelm
tuned signature --- following hints by IntelliJ IDEA;
12 months ago, by wenzelm
ignore session build timeout, notably in AFP;
12 months ago, by wenzelm
check timeout_ignored as in ML, before applying timeout_scale;
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
proper build of required session images vs. build with Mirabelle presentation;
12 months ago, by wenzelm
reactive "sledgehammer";
12 months ago, by wenzelm
reactive "sledgehammer_filter": statically correct, but untested (no proof_file);
12 months ago, by wenzelm
clarified command-line;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified log content;
12 months ago, by wenzelm
reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
unused;
12 months ago, by wenzelm
unused (see 8ffc607c345d);
12 months ago, by wenzelm
clarified signature: provide access to previous state;
12 months ago, by wenzelm
clarified signature (see Scala version);
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
avoid duplicate loading of ML file;
12 months ago, by wenzelm
strict_sorted now an abbreviation
12 months ago, by paulson
explicit type class operations for type-specific implementations
12 months ago, by haftmann
obsolete
12 months ago, by haftmann
added lemmas map_ran_Cons_sel and (length|map_fst)_map_ran
12 months ago, by desharna

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip

isabelle