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

some tinkering with npm versions;
23 months ago, by wenzelm
some tinkering with npm versions;
23 months ago, by wenzelm
back to post-release mode;
23 months ago, by wenzelm
tuned signature;
23 months ago, by wenzelm
auto-update due to "isabelle build_vscode";
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
tuned --- following hints by IntelliJ IDEA;
23 months ago, by wenzelm
fixed problematic addition operation in the 'approximation' package (previous version used much too high precision sometimes)
23 months ago, by Manuel Eberl
simplified definition
23 months ago, by haftmann
new lemmas
23 months ago, by haftmann
discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog-prove";
23 months ago, by wenzelm
following recent Phabricator update, after 2021 Week 13 (Late March);
23 months ago, by wenzelm
merged
24 months ago, by paulson
Cosmetic: no !! in the lemma statement
24 months ago, by paulson
clarified README;
24 months ago, by wenzelm
more standard header, with utf-8 encoding;
24 months ago, by wenzelm
clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;
24 months ago, by wenzelm
merged
24 months ago, by nipkow
new automatic order prover: stateless, complete, verified
24 months ago, by nipkow
clarified signature;
24 months ago, by wenzelm
clarified: follow "isabelle version -t";
24 months ago, by wenzelm
further clarification of Isabelle distribution identification -- avoid odd patching of sources;
24 months ago, by wenzelm
tuned signature -- more explicit types;
24 months ago, by wenzelm
more robust and uniform ISABELLE_TAGS;
24 months ago, by wenzelm
clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;
24 months ago, by wenzelm
simplified release status (again), in contrast to a43898f76ae9;
24 months ago, by wenzelm
more uniform HTTP resources;
24 months ago, by wenzelm
clarified (again): local tip could be actually more recent;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
clarified name;
24 months ago, by wenzelm
more systematic java_library: avoid empty entries, declaration order as for other bash functions;
24 months ago, by wenzelm
support sequential LaTeX jobs: more robust when TeX installation is self-installing packages etc.;
24 months ago, by wenzelm
updated to latest latex due to new mechanism for dealing with bold ccfonts
24 months ago, by nipkow
removal of needless hypothesis in hd_rev and last_rev
24 months ago, by paulson
more robust;
24 months ago, by wenzelm
clarified message;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
tuned message;
24 months ago, by wenzelm
proper export;
24 months ago, by wenzelm
more options: build is part of default setup;
24 months ago, by wenzelm
misc tuning and clarification;
24 months ago, by wenzelm
more options;
24 months ago, by wenzelm
proper Admin script, outside the settings environment;
24 months ago, by wenzelm
tuned whitespace;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
clarified;
24 months ago, by wenzelm
tuned message;
24 months ago, by wenzelm
tuned message;
24 months ago, by wenzelm
more accurate settings after update of current version;
24 months ago, by wenzelm
clarified messages;
24 months ago, by wenzelm
more robust: lest hg work out remote tip;
24 months ago, by wenzelm
more options;
24 months ago, by wenzelm
clarified treatment of multiple versions: last one counts;
24 months ago, by wenzelm
more robust;
24 months ago, by wenzelm
more robust: explicit repository root;
24 months ago, by wenzelm
more robust;
24 months ago, by wenzelm
more convenient repository setup;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
more robust invocation of hg;
24 months ago, by wenzelm

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

isabelle