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 +3000 tip

new lemmas mostly about paths
22 months ago, by paulson
lexorders the locale way
22 months ago, by haftmann
more accurate export morphism enables proper instantiation by interpretation
22 months ago, by haftmann
merged
22 months ago, by paulson
some new and/or varient results about images
22 months ago, by paulson
nicer statement of Liouville_theorem
22 months ago, by paulson
more lemmas
22 months ago, by haftmann
max word moved to Word_Lib in AFP
22 months ago, by haftmann
more robust syntax;
22 months ago, by wenzelm
unused;
22 months ago, by wenzelm
clarified document export names;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
avoid former verbose_latex, which has been renamed to verbose in 52030acb19ac;
22 months ago, by wenzelm
compose Latex text as XML, output exported YXML in Isabelle/Scala;
22 months ago, by wenzelm
more direct index_entry: no positions required -- text is eventually moved to .ind file;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle");
22 months ago, by wenzelm
tuned message, e.g. for Pure bootstrap;
22 months ago, by wenzelm
proper signature export (amending b50f8cc8c08e);
22 months ago, by wenzelm
syslog option for "isabelle build";
22 months ago, by wenzelm
further "unset CDPATH", whenever a new non-interactive bash is started (see also ac07f6be27ea);
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
NEWS;
22 months ago, by wenzelm
clarified index, more like formal @{element_ref};
22 months ago, by wenzelm
clarified treatment of type constructors;
22 months ago, by wenzelm
misc tuning and clarification;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
clarified context;
22 months ago, by wenzelm
more uniform document antiquotations for ML: consolidate former setup for manuals;
22 months ago, by wenzelm
clarified names;
22 months ago, by wenzelm
clarified index antiquotation for ML: more ambitious type-setting, more accurate syntax;
22 months ago, by wenzelm
clarified modules;
22 months ago, by wenzelm
clarified modules;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified signature: avoid dispatch via name;
22 months ago, by wenzelm
clarified, e.g. type variables;
22 months ago, by wenzelm
tuned index;
22 months ago, by wenzelm
more ambitious default for index "is like";
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
support for index entries;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
clarified modules;
22 months ago, by wenzelm
clarified old document build;
22 months ago, by wenzelm
unused;
22 months ago, by wenzelm
prefer standard document_build=lualatex --- ISABELLE_TMP/examples has been removed already in 435fb018e8ee;
22 months ago, by wenzelm
prefer standard document_build=lualatex --- no impact of "sedindex" in prepare_document;
22 months ago, by wenzelm
unused;
22 months ago, by wenzelm
proper Unix lines;
22 months ago, by wenzelm
prefer explicit option document_bibliography (actually ignored by build script);
22 months ago, by wenzelm
explicit option document_bibliography;
22 months ago, by wenzelm
proper bibliography;
22 months ago, by wenzelm
discontinued obsolete "isabelle latex";
22 months ago, by wenzelm
more direct use of latex tools: avoid diversion into "isabelle latex -o pdf" and its confusion of ISABELLE_PDFLATEX vs. ISABELLE_LUALATEX;
22 months ago, by wenzelm
default document_build (lualatex);
22 months ago, by wenzelm
more robust: allow \printindex within the document;
22 months ago, by wenzelm
clarified bash scripts, with public interfaces for user-defined Document_Build.Engine;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm

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

isabelle