isabelle: Graph

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

tuned whitespace;
2016-12-14, by wenzelm
removed of_string_limited;
2016-12-14, by wenzelm
tuned;
2016-12-14, by wenzelm
tuned;
2016-12-14, by wenzelm
tuned;
2016-12-14, by wenzelm
updated CASC instructions + tuning
2016-12-15, by blanchet
support THF1 parsing for 'tptp_...' commands (e.g. 'tptp_isabelle') -- useful for CASC, SystemOnTPTP, ...
2016-12-14, by blanchet
only recognize maps if the type names match
2016-12-14, by blanchet
robustness
2016-12-14, by blanchet
more tight thread attributes, based in internal word arithmetic instead of symbolic datatypes: measurable performance improvement;
2016-12-13, by wenzelm
more symbols;
2016-12-13, by wenzelm
merged
2016-12-12, by wenzelm
removed obsolete RC tags;
2016-12-12, by wenzelm
Added tag Isabelle2016-1 for changeset 7aa3c52f27aa
2016-12-12, by wenzelm
tuned; Isabelle2016-1
2016-12-12, by wenzelm
proper session HOL-Types_To_Sets;
2016-12-12, by wenzelm
Added tag Isabelle2016-1-RC5 for changeset 964ac7439a52
2016-12-08, by wenzelm
notes on whitespace;
2016-12-06, by wenzelm
avoid spurious messages -- potential cause of problems for "meson";
2016-12-06, by wenzelm
avoid spurious messages;
2016-12-06, by wenzelm
clarified output: avoid confusion with line:column notation;
2016-12-10, by wenzelm
clarified JSON operations (see isabelle_vscode/a7931dc2a1ab);
2016-12-10, by wenzelm
updated Poly/ML repository test version (08-Dec-2016);
2016-12-10, by wenzelm
remove typo in bij_swap_compose_bij theorem name; tune proof
2016-12-08, by bulwahn
filter non-matching prems to not fail in proof procedure; include test case (related to c8a93680b80d)
2016-12-08, by bulwahn
more lemmas
2016-12-07, by nipkow
spelling
2016-12-05, by nipkow
misc tuning and modernization;
2016-12-04, by wenzelm
back to isabelle-dev repository;
2016-12-04, by wenzelm
merged
2016-12-04, by wenzelm
more uniform indentation of new line, even if it is empty (relevant for non-proof commands, e.g. 'definition', 'context');
2016-12-04, by wenzelm
tuned;
2016-12-04, by wenzelm
merged
2016-11-29, by nipkow
more lemmas, tuned proofs
2016-11-29, by nipkow
don't generate 'size_gen_o_map' property if its type variable is too limited anyway to be useful
2016-11-29, by blanchet
added lemma about 'mult', as suggested by Bertram Felgenhauer
2016-11-29, by blanchet
tuned proof
2016-11-28, by nipkow
merged
2016-11-27, by wenzelm
Added tag Isabelle2016-1-RC4 for changeset 49708cffb98d
2016-11-27, by wenzelm
NEWS for e6a3c55b929b;
2016-11-27, by wenzelm
embedded latex has 0 length -- imitating \<^raw> before aa1fe1103ab8;
2016-11-27, by wenzelm
avoid extra space intruding rail diagrams (amending 4854f7ee0987);
2016-11-25, by wenzelm
explicit option editor_generated_input_delay, which is more aggressive by default;
2016-11-24, by wenzelm
clarified NEWS concerning Library/Poly_Deriv
2016-11-24, by haftmann
made MaSh faster and less likely to hang seemingly forever
2016-11-23, by blanchet
delay_first for machine generated editor events: avoid starvation, e.g. when operating on big sessions;
2016-11-23, by wenzelm
Added tag Isabelle2016-1-RC3 for changeset 51be997d0698
2016-11-21, by wenzelm
op powr for quickcheck[approximation] (amending 67792e4a5486)
2016-11-21, by immler
skip over inner syntax for indentation;
2016-11-21, by wenzelm
tuned whitespace;
2016-11-21, by wenzelm
tuned;
2016-11-21, by wenzelm
more on "Indentation";
2016-11-20, by wenzelm
more on "Formal scopes and semantic selection";
2016-11-20, by wenzelm
misc tuning and updates;
2016-11-20, by wenzelm
more on JVM heap space;
2016-11-20, by wenzelm
tuned;
2016-11-20, by wenzelm
more on Isar proof language;
2016-11-20, by wenzelm
documentation for Isabelle/Scala tools;
2016-11-20, by wenzelm
more symbols;
2016-11-19, by wenzelm
avoid import of Complex_Main into Word library (amending 34b7e2da95f6), e.g. to avoid intrusion of const "ii" into theories without complex numbers;
2016-11-19, by wenzelm
more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;
2016-11-13, by wenzelm
optional component setup;
2016-11-12, by wenzelm
clarified msys root;
2016-11-12, by wenzelm
clarified setup: avoid alternative C compiler tools, e.g. from Homebrew or MacPorts;
2016-11-12, by wenzelm
proper admin tool;
2016-11-12, by wenzelm
tuned output;
2016-11-12, by wenzelm
back to regular Isabelle tool (reverting abc34a149690);
2016-11-12, by wenzelm
tuned;
2016-11-11, by wenzelm
$HOME/.bashrc provides TZ for *all* processes, resulting in proper date for Build_Log.log_date in remote_build_history via ssh (see also fe8f8f88a1d7);
2016-11-11, by wenzelm
trim more thoroughly, e.g. trailing \0 seen on some system;
2016-11-11, by wenzelm
tuned;
2016-11-11, by wenzelm
build sha1 library;
2016-11-11, by wenzelm
proper CONFIG_SITE for msys;
2016-11-11, by wenzelm
clarified platform selection;
2016-11-11, by wenzelm
more robust Windows platform;
2016-11-11, by wenzelm
copy libgmp on Linux;
2016-11-11, by wenzelm
prefer raw Admin tool, without Isabelle settings environment;
2016-11-11, by wenzelm
clarified command-line;
2016-11-11, by wenzelm
no backup of generated stuff;
2016-11-11, by wenzelm
more precise environment (for Windows);
2016-11-11, by wenzelm
proper shell_path for msys inside cygwin;
2016-11-10, by wenzelm
support other bash executable (notably for msys on Windows);
2016-11-10, by wenzelm
proper options;
2016-11-10, by wenzelm
build_polyml in Scala;
2016-11-10, by wenzelm
clarified File.move: target directory like File.copy;
2016-11-10, by wenzelm
more logging, to see better when files written;
2016-11-10, by wenzelm
proper cleanup;
2016-11-10, by wenzelm
uniform order for options and args;
2016-11-10, by wenzelm
more robust jedit_auto_resolve: avoid losing events deps_changed() / delay_load.invoke();
2016-11-10, by wenzelm
tuned comment;
2016-11-10, by wenzelm
proper option for "build", not "build_history" (cf. 5ca4ac099e94);
2016-11-09, by wenzelm
tuned;
2016-11-07, by wenzelm
simplified main proof;
2016-11-07, by wenzelm
misc tuning and modernization;
2016-11-07, by wenzelm
recovered Output.writeln for remote build_history (cf. ed8940d6295c), in order to have log files copied and removed;
2016-11-07, by wenzelm
more uniform path syntax, as in ML (see 5a7c919a4ada);
2016-11-07, by wenzelm
unused since 15865e0c5598;
2016-11-07, by wenzelm
added Nunchaku component and tuned Nunchaku integration accordingly
2016-11-07, by blanchet
back to more elementary result (see 5f49765a25ec): avoid concurrent use of ssh channel;
2016-11-06, by wenzelm
Added tag Isabelle2016-1-RC2 for changeset 2bf4fdcebd49
2016-11-06, by wenzelm
more robust multithreading;
2016-11-05, by wenzelm
documentation of @{undefined} (actually introduced in Isabelle2016);
2016-11-05, by wenzelm
tuned;
2016-11-05, by wenzelm
Scala "\u" notation uses hexadecimal, not octal (amending 00a135c0a17f);
2016-11-05, by wenzelm
HOL-Probability: fix import path in Fin_Map
2016-11-04, by hoelzl
disable CVC4 statistics, and hence crashes upon user interruptions
2016-11-04, by blanchet
back to stable scala-2.11.8;
2016-11-04, by wenzelm
self_update of components, e.g. for vmnipkow9;
2016-11-04, by wenzelm
updated to scala-2.12.0;
2016-11-03, by wenzelm
tuned
2016-11-03, by nipkow
more accurate start_line: avoid changing the original command (e.g. 'try', 'sledgehammer');
2016-11-02, by wenzelm
extra newline as for other tools;
2016-11-01, by wenzelm
prefer standard_path for bash arg;
2016-11-01, by wenzelm
ignore interrupts from underlying process, e.g. due to out-of-memory situation in ML_Process (see also build.scala);
2016-11-01, by wenzelm
proper remote repository source;
2016-11-01, by wenzelm
clarified setup_repository: even more uniform pull vs. clone (see also e84cba30d7ff);
2016-11-01, by wenzelm
pull isabelle-release;
2016-11-01, by wenzelm
Merged natlog2 into Discrete.log
2016-11-24, by eberlm
moved IMP/Abs_Int_ITP to AFP/Abs_Int_ITP2012
2016-11-23, by nipkow
added lemma
2016-11-22, by nipkow