20 months ago wenzelm 2018-05-25 added command 'ML_export';
20 months ago wenzelm 2018-05-25 more examples;
20 months ago wenzelm 2018-05-25 tuned output;
20 months ago wenzelm 2018-05-25 pretty-print according to defaults of input syntax;
20 months ago wenzelm 2018-05-25 more accurate diagram;
20 months ago wenzelm 2018-05-25 proper output;
20 months ago haftmann 2018-05-24 treat gcd_eq_1_imp_coprime analogously to mod_0_imp_dvd
20 months ago wenzelm 2018-05-24 merged
20 months ago wenzelm 2018-05-24 setup server directory for Cygwin quasi-mirror;
20 months ago wenzelm 2018-05-24 more scalable JVM memory management;
20 months ago wenzelm 2018-05-24 tuned output;
20 months ago wenzelm 2018-05-24 more general cache, also for term substructures;
20 months ago wenzelm 2018-05-24 more exports; read_session: proper signature;
20 months ago immler 2018-05-24 generalized Cramer's rule
20 months ago nipkow 2018-05-24 tuned
20 months ago nipkow 2018-05-24 reorganization, everything based on Tree2 now
20 months ago haftmann 2018-05-24 avoid overaggressive classical rule
20 months ago nipkow 2018-05-24 By Andrei Popescu based on an initial version by Kasper F. Brandt
20 months ago paulson 2018-05-23 merged
20 months ago paulson 2018-05-23 small tidy-up of Complex_Transcendental
20 months ago paulson 2018-05-22 merged
20 months ago paulson 2018-05-21 small clean-up of Complex_Analysis_Basics
20 months ago haftmann 2018-05-23 more complete and more correct documentation on code generation
20 months ago haftmann 2018-05-23 grouped material on numeral division
20 months ago haftmann 2018-05-22 automatic classical rule to derive a dvd b from b mod a = 0
20 months ago haftmann 2018-05-22 consider dvdE for automated classical proving
20 months ago blanchet 2018-05-22 added lambda-free HO output for Ehoh (higher-order E prototype)
20 months ago nipkow 2018-05-22 First step to remove nonstandard "[x <- xs. P]" syntax: only input
20 months ago nipkow 2018-05-22 merged
20 months ago nipkow 2018-05-22 removed unicode symbol
20 months ago Manuel Eberl 2018-05-18 Moved Landau_Symbols from the AFP to HOL-Library
20 months ago wenzelm 2018-05-22 merged
20 months ago wenzelm 2018-05-20 more checks for global facts: disallow undeclared frees (as in Export_Theory.export_fact);
20 months ago nipkow 2018-05-21 no longer necessary
20 months ago paulson 2018-05-20 merged
20 months ago paulson 2018-05-20 correcting the statements of the MVTs
20 months ago paulson 2018-05-20 one last fix
20 months ago paulson 2018-05-20 tidy up of Derivative
20 months ago wenzelm 2018-05-20 avoid undeclared frees;
20 months ago wenzelm 2018-05-20 removed junk;
20 months ago wenzelm 2018-05-20 avoid dangling tfrees;
20 months ago wenzelm 2018-05-20 standardize implicit variables: non-zero indexes do occur occasionally, e.g. via RS;
20 months ago wenzelm 2018-05-20 tuned signature;
20 months ago wenzelm 2018-05-20 avoid undeclared frees;
20 months ago wenzelm 2018-05-20 export facts;
20 months ago wenzelm 2018-05-20 clarified encoding;
20 months ago wenzelm 2018-05-20 more scalable;
20 months ago wenzelm 2018-05-20 tuned output;
20 months ago wenzelm 2018-05-20 more scalable;
20 months ago wenzelm 2018-05-20 tuned;
20 months ago wenzelm 2018-05-20 support HTTPS;
20 months ago wenzelm 2018-05-20 updated to scala-2.12.6;
20 months ago wenzelm 2018-05-20 prefer HTTPS;
20 months ago wenzelm 2018-05-19 override default of Isabelle_Process, notably for PIDE export of "document.tex";
20 months ago wenzelm 2018-05-19 tuned queries;
20 months ago wenzelm 2018-05-19 support for build_database_server (PostgreSQL); clarified signature;
20 months ago wenzelm 2018-05-19 clarified store.clean_output: cleanup user_output_dir even in system_mode;
20 months ago wenzelm 2018-05-19 clarified store directories; discontinued settings ISABELLE_PATH, ISABELLE_OUTPUT;
20 months ago wenzelm 2018-05-19 tuned;
20 months ago wenzelm 2018-05-19 clarified handling of output heap;