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

proper file name;
2018-02-16, by wenzelm
trim context of persistent data;
2018-02-16, by wenzelm
clarified data operations, with trim_context and transfer;
2018-02-16, by wenzelm
tuned;
2018-02-16, by wenzelm
trim context of persistent data;
2018-02-16, by wenzelm
trim context of persistent data;
2018-02-16, by wenzelm
removed unused material;
2018-02-16, by wenzelm
trim context of persistent data;
2018-02-16, by wenzelm
trim context of persistent data;
2018-02-16, by wenzelm
tuned;
2018-02-16, by wenzelm
tuned whitespace;
2018-02-16, by wenzelm
more operations;
2018-02-16, by wenzelm
optional trace of created theory values;
2018-02-16, by wenzelm
more operations;
2018-02-16, by wenzelm
auxiliary operation for space profiling;
2018-02-15, by wenzelm
special treatment of 0 only refers to type char
2018-02-03, by haftmann
merged
2018-02-16, by Lars Hupel
features and caveats of datatype_record
2018-02-16, by Lars Hupel
merged
2018-02-16, by Andreas Lochbihler
strengthen filter relator to canonical categorical definition with better properties
2018-02-16, by Andreas Lochbihler
recovered outer Pretty.block from 30c1639a343a, avoid excessive line breaks due to implicit Pretty.chunks;
2018-02-15, by wenzelm
merged
2018-02-15, by wenzelm
more symbols;
2018-02-15, by wenzelm
New theory ex/Radix_Sort.thy
2018-02-14, by nipkow
records based on datatypes/BNF infrastructure
2018-02-14, by Lars Hupel
updated polyml component;
2018-02-13, by wenzelm
no --enable-shared: leads to slow bigint operations (e.g. in session HOL-ODE-Examples);
2018-02-13, by wenzelm
retain remote_builds_old for build_status;
2018-02-13, by wenzelm
lxbroy7 no longer exists;
2018-02-13, by wenzelm
added lemmas
2018-02-12, by nipkow
corrected some URLs
2018-02-12, by Lars Hupel
permissive Doc.dirs: some entries may be absent due to distribution bootstrap, e.g. $JEDIT_HOME/dist/doc;
2018-02-12, by wenzelm
merged
2018-02-11, by wenzelm
updated polyml component -- omitting bad polyml-5.7.1-3;
2018-02-11, by wenzelm
use preferred resolver according to DOI Handbook §3.8
2018-02-11, by Lars Hupel
no --enable-shared for x86_64-darwin: does not work on some test machine;
2018-02-11, by wenzelm
proper target directory;
2018-02-11, by wenzelm
tuned;
2018-02-11, by wenzelm
more robust options;
2018-02-11, by wenzelm
back to --disable-shared on windows to avoid odd core-dump of polyimport;
2018-02-11, by wenzelm
tuned;
2018-02-11, by wenzelm
back to --disable-shared on x86-darwin to avoid odd core-dump of polyimport;
2018-02-11, by wenzelm
clarified command-line defaults;
2018-02-11, by wenzelm
enforce shared libpoly on all platforms, with File.copy before File.move;
2018-02-11, by wenzelm
NEWS;
2018-02-10, by wenzelm
updated to polyml-5.7.1-2, which includes libgmp for x86-darwin as well;
2018-02-10, by wenzelm
support for libgmp for x86-darwin;
2018-02-10, by wenzelm
more accessible src/Pure/ROOT.ML;
2018-02-10, by wenzelm
tuned;
2018-02-10, by wenzelm
more robust: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
2018-02-09, by wenzelm
rebuild of polyml-5.7.1 with libgmp for x86_darwin;
2018-02-09, by wenzelm
patch polyc: avoid hardwired directory prefix;
2018-02-09, by wenzelm
support for libgmp for x86_64-darwin;
2018-02-09, by wenzelm
built-in library path for (optional) libgmp on macos;
2018-02-09, by wenzelm
removed obsolete polyi executable: change of DYLD_LIBRARY_PATH is not required;
2018-02-09, by wenzelm
more robust access to shared libraries for poly executable: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
2018-02-09, by wenzelm
Merged
2018-02-08, by eberlm
Some lemmas about complex sinh/cosh/tanh
2018-02-08, by Manuel Eberl
more elementary proof of connected_Times, earlier
2018-02-08, by immler
merged
2018-02-08, by nipkow

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

isabelle