Mercurial
Mercurial
>
repos
>
testboard
/ 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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
clarified modules;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
clarified signature: avoid dispatch via name;
20 months ago, by wenzelm
clarified, e.g. type variables;
20 months ago, by wenzelm
tuned index;
20 months ago, by wenzelm
more ambitious default for index "is like";
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
support for index entries;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
clarified old document build;
20 months ago, by wenzelm
unused;
20 months ago, by wenzelm
prefer standard document_build=lualatex --- ISABELLE_TMP/examples has been removed already in 435fb018e8ee;
20 months ago, by wenzelm
prefer standard document_build=lualatex --- no impact of "sedindex" in prepare_document;
20 months ago, by wenzelm
unused;
20 months ago, by wenzelm
proper Unix lines;
20 months ago, by wenzelm
prefer explicit option document_bibliography (actually ignored by build script);
20 months ago, by wenzelm
explicit option document_bibliography;
20 months ago, by wenzelm
proper bibliography;
20 months ago, by wenzelm
discontinued obsolete "isabelle latex";
20 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;
20 months ago, by wenzelm
default document_build (lualatex);
20 months ago, by wenzelm
more robust: allow \printindex within the document;
20 months ago, by wenzelm
clarified bash scripts, with public interfaces for user-defined Document_Build.Engine;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
option document_preprocessor;
20 months ago, by wenzelm
show symbols in Isabelle/ML instead of perl;
20 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;
20 months ago, by wenzelm
tuned --- more robust;
20 months ago, by wenzelm
discontinued somewhat pointless "fixbookmarks": default output works sufficiently well;
20 months ago, by wenzelm
more uniform bibtex error, without using perl (see 4710dd5093a3);
20 months ago, by wenzelm
proper message for instances of Exn.User_Error, without extra Output.error_prefix (e.g. for Document_Build.Build_Error);
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
clarified command-line options;
20 months ago, by wenzelm
obsolete (see 5a3a2a52648d);
20 months ago, by wenzelm
redundant: copy produced from session document_files;
20 months ago, by wenzelm
clarified treatment of Isabelle .sty files;
20 months ago, by wenzelm
option document_logo;
20 months ago, by wenzelm
proper options;
20 months ago, by wenzelm
option document_build refers to build engine in Isabelle/Scala;
20 months ago, by wenzelm
redundant: tmp_dir is purged anyway;
20 months ago, by wenzelm
misc tuning and clarification;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
tuned --- clarified corner cases;
20 months ago, by wenzelm
more uniform use of Properties.Eq.unapply, with slightly changed semantics in boundary cases;
20 months ago, by wenzelm
clarified signature -- avoid odd warning about scala/bug#6675;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
proper syntax of Scala 3;
20 months ago, by wenzelm
enforce syntax of Scala 3;
20 months ago, by wenzelm
things need to be ugly
20 months ago, by paulson
merged
20 months ago, by paulson
mere abbreviation for logical alias
20 months ago, by haftmann
avoid unexpected output+behaviour when CDPATH is set
20 months ago, by kleing
recover some Linux test, using old macbroy2 as i21of4 (Ubuntu 20.04);
20 months ago, by wenzelm
avoid perl;
20 months ago, by wenzelm
tuned signature --- following hints by IntelliJ IDEA;
20 months ago, by wenzelm
ignore session build timeout, notably in AFP;
20 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip