| 2021-03-27 |
wenzelm |
clarified output;
|
file |
diff |
annotate
|
| 2021-03-27 |
wenzelm |
support repository archives (without full .hg directory);
|
file |
diff |
annotate
|
| 2021-03-25 |
haftmann |
dedicated session for combinatorial material
|
file |
diff |
annotate
|
| 2021-03-22 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2021-03-22 |
haftmann |
more lemmas
|
file |
diff |
annotate
|
| 2021-03-21 |
wenzelm |
clarified package name (actually both pxfonts and txfonts exist and have this font);
|
file |
diff |
annotate
|
| 2021-03-21 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2021-03-21 |
wenzelm |
high-quality blackboard-bold fonts from "txmia" (package "txfonts");
|
file |
diff |
annotate
|
| 2021-03-17 |
wenzelm |
more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster;
|
file |
diff |
annotate
|
| 2021-03-14 |
wenzelm |
removed spurious references to perl / libwww-perl;
|
file |
diff |
annotate
|
| 2021-03-11 |
haftmann |
avoid name clash
|
file |
diff |
annotate
|
| 2021-03-11 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2021-03-09 |
wenzelm |
proper type-setting of cartouches (requires T1);
|
file |
diff |
annotate
|
| 2021-03-07 |
haftmann |
follow corresponding precedence on sets
|
file |
diff |
annotate
|
| 2021-03-06 |
haftmann |
consolidated names
|
file |
diff |
annotate
|
| 2021-03-05 |
wenzelm |
clarified timeouts in Isabelle/ML;
|
file |
diff |
annotate
|
| 2021-03-05 |
haftmann |
typo
|
file |
diff |
annotate
|
| 2021-03-01 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| 2021-02-27 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| 2021-02-27 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| 2021-02-27 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| 2021-02-23 |
wenzelm |
more on Isabelle_System.bash;
|
file |
diff |
annotate
|
| 2021-02-23 |
haftmann |
more specific name
|
file |
diff |
annotate
|
| 2021-02-22 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2021-02-22 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| 2021-02-22 |
haftmann |
get rid of traditional predicate
|
file |
diff |
annotate
|
| 2021-02-19 |
Manuel Eberl |
HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc.
|
file |
diff |
annotate
|
| 2021-02-13 |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| 2021-02-07 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2021-02-03 |
wenzelm |
clarified links to external files, e.g. .pdf within .thy source document;
|
file |
diff |
annotate
|
| 2021-01-26 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2021-01-22 |
wenzelm |
IDE support for Naproche-SAD;
|
file |
diff |
annotate
|
| 2021-01-21 |
wenzelm |
support isabelle components -u and -x;
|
file |
diff |
annotate
|
| 2021-01-19 |
wenzelm |
clarified documentation concerning macOS Big Sur;
|
file |
diff |
annotate
|
| 2021-01-18 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| 2021-01-18 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2021-01-17 |
wenzelm |
revert 1105c42722dc on isabelle-release branch;
|
file |
diff |
annotate
|
| 2021-01-10 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| 2021-01-10 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2021-01-10 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| 2021-01-09 |
wenzelm |
clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
|
file |
diff |
annotate
|
| 2021-01-08 |
wenzelm |
clarified default L&F;
|
file |
diff |
annotate
|
| 2021-01-08 |
Manuel Eberl |
HOL-Data_Structures: added Selection and time functions for list functions
|
file |
diff |
annotate
|
| 2021-01-07 |
wenzelm |
clarified NEWS;
|
file |
diff |
annotate
|
| 2021-01-06 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2021-01-05 |
Manuel Eberl |
HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset
|
file |
diff |
annotate
|
| 2021-01-04 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2021-01-04 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| 2021-01-04 |
Manuel Eberl |
HOL-Library: Changed notation for sum_mset
|
file |
diff |
annotate
|
| 2020-12-27 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2020-12-27 |
wenzelm |
proper NEWS according to current situation;
|
file |
diff |
annotate
|
| 2020-12-27 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2020-12-23 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2020-12-23 |
wenzelm |
clarified modules: avoid multiple uses of the same ML file;
|
file |
diff |
annotate
|
| 2020-12-21 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 2020-12-21 |
wenzelm |
rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;
|
file |
diff |
annotate
|
| 2020-12-21 |
wenzelm |
provide zipperposition-2.0 for experimentation;
|
file |
diff |
annotate
|
| 2020-12-18 |
wenzelm |
download auxiliary files via "curl";
|
file |
diff |
annotate
|
| 2020-12-18 |
wenzelm |
improved markup for theory header imports;
|
file |
diff |
annotate
|
| 2020-12-16 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2020-12-16 |
wenzelm |
added action isabelle.goto-entity to follow links in a narrow formal sense;
|
file |
diff |
annotate
|
| 2020-12-10 |
wenzelm |
clarified session log file: avoid erratic messages;
|
file |
diff |
annotate
|
| 2020-12-10 |
wenzelm |
NEWS and documentation for "isabelle log";
|
file |
diff |
annotate
|
| 2020-12-06 |
wenzelm |
PIDE support for session ROOTS;
|
file |
diff |
annotate
|
| 2020-12-04 |
nipkow |
NEWS
|
file |
diff |
annotate
|
| 2020-11-28 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| 2020-11-27 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2020-11-27 |
wenzelm |
more flexible syntax for theory load commands via Isabelle/Scala;
|
file |
diff |
annotate
|
| 2020-11-27 |
haftmann |
refined syntax for bundle mixins for locale and class specifications
|
file |
diff |
annotate
|
| 2020-11-26 |
wenzelm |
clarified options: batch-build has pide_reports disabled by default (requires significant resources);
|
file |
diff |
annotate
|
| 2020-11-22 |
wenzelm |
updated to cvc4-1.8;
|
file |
diff |
annotate
|
| 2020-11-21 |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| 2020-11-21 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2020-11-21 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-11-15 |
haftmann |
bundles for reflected term syntax
|
file |
diff |
annotate
|
| 2020-11-14 |
wenzelm |
official support for document theories from other sessions;
|
file |
diff |
annotate
|
| 2020-11-12 |
haftmann |
bundled syntax for state monad combinators
|
file |
diff |
annotate
|
| 2020-11-11 |
wenzelm |
build documents in Isabelle/Scala, based on generated tex files as session exports;
|
file |
diff |
annotate
|
| 2020-11-07 |
wenzelm |
clarified output of "isabelle process";
|
file |
diff |
annotate
|
| 2020-11-04 |
haftmann |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| 2020-10-30 |
wenzelm |
Isabelle/Phabricator supports Ubuntu 20.04 LTS;
|
file |
diff |
annotate
|
| 2020-10-29 |
desharna |
Added smt (verit) to Sledgehammer's proof preplay.
|
file |
diff |
annotate
|
| 2020-10-29 |
haftmann |
unified Local_Theory.init with Generic_Target.init
|
file |
diff |
annotate
|
| 2020-10-29 |
haftmann |
moved most material from session HOL-Word to Word_Lib in the AFP
|
file |
diff |
annotate
|
| 2020-10-27 |
wenzelm |
clarified signature: overloaded "+" for Path.append;
|
file |
diff |
annotate
|
| 2020-10-26 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-10-15 |
wenzelm |
proper Isabelle component settings: prefer standard terminology "ISABELLE_VERIT", avoid conflict of "VERIT_VERSION" with processing of implicit options by veriT;
|
file |
diff |
annotate
|
| 2020-10-13 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2020-10-13 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2020-10-13 |
Mathias Fleury |
reconstruction of veriT proofs in NEWS
|
file |
diff |
annotate
|
| 2020-10-12 |
Mathias Fleury |
add reconstruction for the SMT solver veriT
|
file |
diff |
annotate
|
| 2020-10-12 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-10-12 |
haftmann |
replaced combinators by more conventional nesting pattern
|
file |
diff |
annotate
|
| 2020-10-12 |
haftmann |
consolidated names and operations
|
file |
diff |
annotate
|
| 2020-10-07 |
haftmann |
consolidated for the sake of documentation
|
file |
diff |
annotate
|
| 2020-09-29 |
wenzelm |
allow Scala function execution on separate thread: better reactivity, but potential overloading of the JVM;
|
file |
diff |
annotate
|
| 2020-09-28 |
wenzelm |
clarified "isabelle logo", after discontinuation of DVI output (see 564012e31db1);
|
file |
diff |
annotate
|
| 2020-09-27 |
wenzelm |
ISABELLE_PDFLATEX is now lualatex;
|
file |
diff |
annotate
|
| 2020-09-26 |
wenzelm |
discontinued obsolete DVI document format and related settings/tools;
|
file |
diff |
annotate
|
| 2020-09-25 |
wenzelm |
clarified defaults for nitpick;
|
file |
diff |
annotate
|
| 2020-09-25 |
haftmann |
factored out typedef material
|
file |
diff |
annotate
|
| 2020-09-23 |
haftmann |
more thorough treatment of division, particularly signed division on int and word
|
file |
diff |
annotate
|
| 2020-09-17 |
haftmann |
typo
|
file |
diff |
annotate
|
| 2020-09-17 |
haftmann |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| 2020-09-10 |
wenzelm |
more uniform JVM vs. ML status widget;
|
file |
diff |
annotate
|
| 2020-09-08 |
wenzelm |
update to official jedit-5.6.0;
|
file |
diff |
annotate
|
| 2020-08-31 |
wenzelm |
proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c);
|
file |
diff |
annotate
|
| 2020-08-25 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-08-17 |
wenzelm |
allow user-defined server commands via isabelle_scala_service;
|
file |
diff |
annotate
|
| 2020-08-17 |
wenzelm |
more systematic support for special directories;
|
file |
diff |
annotate
|
| 2020-08-13 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| 2020-08-07 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-08-06 |
wenzelm |
discontinued old batch-build functionality;
|
file |
diff |
annotate
|
| 2020-08-05 |
haftmann |
separation of reversed bit lists from other material
|
file |
diff |
annotate
|
| 2020-08-04 |
haftmann |
uniform mask operation
|
file |
diff |
annotate
|
| 2020-08-01 |
haftmann |
more consequent transferability
|
file |
diff |
annotate
|
| 2020-07-24 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2020-07-20 |
wenzelm |
subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;
|
file |
diff |
annotate
|
| 2020-07-16 |
haftmann |
yet another alias
|
file |
diff |
annotate
|
| 2020-07-13 |
haftmann |
concatentation of bit values
|
file |
diff |
annotate
|
| 2020-07-11 |
haftmann |
signed_take_bit
|
file |
diff |
annotate
|
| 2020-07-09 |
desharna |
Update Metis to 2.4
|
file |
diff |
annotate
|
| 2020-07-06 |
blanchet |
removed 'freeze_problem_consts' hack in TPTP tools, which wasn't compatible with post-2016 reforms to local theories
|
file |
diff |
annotate
|
| 2020-07-06 |
haftmann |
separation of traditional bit operations
|
file |
diff |
annotate
|
| 2020-07-02 |
haftmann |
extraction of equations x = t from premises beneath meta-all
|
file |
diff |
annotate
|
| 2020-07-02 |
haftmann |
removed superfluous dependency
|
file |
diff |
annotate
|
| 2020-07-01 |
haftmann |
factored out ancient numeral representation
|
file |
diff |
annotate
|
| 2020-07-01 |
haftmann |
moved to Word_Lib
|
file |
diff |
annotate
|
| 2020-06-21 |
wenzelm |
clarified NEWS;
|
file |
diff |
annotate
|
| 2020-06-20 |
wenzelm |
enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
|
file |
diff |
annotate
|
| 2020-06-19 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2020-06-19 |
wenzelm |
back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);
|
file |
diff |
annotate
|
| 2020-06-19 |
haftmann |
prefer single name
|
file |
diff |
annotate
|
| 2020-06-18 |
haftmann |
build bit operations on word on library theory on bit operations
|
file |
diff |
annotate
|
| 2020-06-18 |
haftmann |
bit operations as distinctive library theory
|
file |
diff |
annotate
|
| 2020-06-18 |
haftmann |
dropped yet another duplicate
|
file |
diff |
annotate
|
| 2020-06-18 |
haftmann |
replaced mere alias by input abbreviation
|
file |
diff |
annotate
|
| 2020-06-18 |
haftmann |
replaced mere alias by abbreviation
|
file |
diff |
annotate
|
| 2020-06-18 |
haftmann |
replaced operation with weak abstraction by input abbreviation
|
file |
diff |
annotate
|
| 2020-06-18 |
haftmann |
avoid compound operation
|
file |
diff |
annotate
|
| 2020-06-18 |
haftmann |
replaced mere alias by input abbreviation
|
file |
diff |
annotate
|
| 2020-06-17 |
wenzelm |
enable pide_session by default;
|
file |
diff |
annotate
|
| 2020-06-10 |
wenzelm |
updated to jedit-5.6pre1 (repository version 25349);
|
file |
diff |
annotate
|
| 2020-06-08 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-06-08 |
wenzelm |
clarified sessions: "Notable Examples in Isabelle/Pure";
|
file |
diff |
annotate
|
| 2020-06-06 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| 2020-05-27 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2020-05-27 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2020-05-27 |
wenzelm |
check bash functions against Isabelle settings environment;
|
file |
diff |
annotate
|
| 2020-05-27 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| 2020-05-18 |
wenzelm |
follow Phabricator update 2020 Week 19;
|
file |
diff |
annotate
|
| 2020-05-14 |
paulson |
The Uniq quantifier for FOL too
|
file |
diff |
annotate
|
| 2020-05-13 |
Manuel Eberl |
new constant power_int in HOL
|
file |
diff |
annotate
|
| 2020-05-04 |
Manuel Eberl |
New HOL simproc 'datatype_no_proper_subterm'
|
file |
diff |
annotate
|
| 2020-05-12 |
paulson |
Fixes for Sup{} = (0::nat)
|
file |
diff |
annotate
|
| 2020-04-28 |
wenzelm |
added "isabelle sessions" tool;
|
file |
diff |
annotate
|
| 2020-04-21 |
haftmann |
hooks for foundational terms: protection of foundational terms during simplification
|
file |
diff |
annotate
|
| 2020-04-15 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2020-04-13 |
wenzelm |
tuned NEWS;
Isabelle2020
|
file |
diff |
annotate
|
| 2020-04-12 |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| 2020-04-09 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2020-04-08 |
wenzelm |
another isabelle_scala_service;
|
file |
diff |
annotate
|
| 2020-04-08 |
wenzelm |
more general support for isabelle_scala_service;
|
file |
diff |
annotate
|
| 2020-04-07 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-04-06 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-04-02 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2020-03-25 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2020-03-21 |
wenzelm |
merged;
|
file |
diff |
annotate
|
| 2020-03-21 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2020-03-20 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2020-03-15 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| 2020-03-14 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2020-03-13 |
wenzelm |
proper escape for literal single quotes;
|
file |
diff |
annotate
|
| 2020-03-13 |
wenzelm |
allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c, but broken in be8a8d60d962);
|
file |
diff |
annotate
|
| 2020-03-12 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2020-03-10 |
Manuel Eberl |
updated NEWS w.r.t. e0237f2eb49d
|
file |
diff |
annotate
|
| 2020-03-06 |
wenzelm |
support Java/VM monitoring via jconsole;
|
file |
diff |
annotate
|
| 2020-03-02 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| 2020-03-01 |
wenzelm |
more Isabelle/jEdit actions;
|
file |
diff |
annotate
|
| 2020-02-29 |
wenzelm |
more Isabelle/jEdit actions;
|
file |
diff |
annotate
|
| 2020-02-28 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-02-26 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2020-02-26 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2020-02-25 |
wenzelm |
update to WebviewPanel API, following initial version by Peter Zeller;
|
file |
diff |
annotate
|
| 2020-02-16 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-02-15 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-02-11 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2020-02-11 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2020-02-10 |
wenzelm |
proper symbols;
|
file |
diff |
annotate
|
| 2020-02-10 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-02-10 |
wenzelm |
recover from Unicode accident in 4abd07cd034f;
|
file |
diff |
annotate
|
| 2020-02-10 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-02-10 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2020-02-10 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2020-02-10 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2020-01-15 |
wenzelm |
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
|
file |
diff |
annotate
|
| 2019-12-23 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2019-12-19 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2019-12-16 |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| 2019-12-16 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2019-12-10 |
traytel |
NEWS, CONTRIBUTORS, and documentation
|
file |
diff |
annotate
|
| 2019-12-09 |
paulson |
Ramsey with multiple colours and arbitrary exponents
|
file |
diff |
annotate
|
| 2019-11-26 |
ballarin |
Remove diagnostic command 'print_dependencies'.
|
file |
diff |
annotate
|
| 2019-11-22 |
haftmann |
tuned whitespace
|
file |
diff |
annotate
|
| 2019-11-22 |
haftmann |
proper prefix syntax
|
file |
diff |
annotate
|
| 2019-11-21 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2019-11-14 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2019-10-28 |
immler |
NEWS
|
file |
diff |
annotate
|
| 2019-10-27 |
nipkow |
NEWS
|
file |
diff |
annotate
|
| 2019-10-09 |
haftmann |
dedicated fact collections for algebraic simplification rules potentially splitting goals
|
file |
diff |
annotate
|
| 2019-10-04 |
wenzelm |
Term_XML.Encode/Decode.term uses Const "typargs";
|
file |
diff |
annotate
|
| 2019-09-12 |
wenzelm |
discontinued obsolete "isabelle imports" and all_known data;
|
file |
diff |
annotate
|
| 2019-09-12 |
wenzelm |
find theory files via session structure: much faster Prover IDE startup;
|
file |
diff |
annotate
|
| 2019-09-11 |
wenzelm |
disallow overlapping session directories;
|
file |
diff |
annotate
|
| 2019-09-08 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| 2019-08-24 |
ballarin |
Tracing of locale activation.
|
file |
diff |
annotate
|
| 2019-08-23 |
wenzelm |
clarified 'thm_deps' command;
|
file |
diff |
annotate
|
| 2019-08-20 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2019-08-17 |
wenzelm |
added ML antiquotation @{oracle_name};
|
file |
diff |
annotate
|
| 2019-08-17 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 2019-08-13 |
wenzelm |
NEWS and example for Theory.join_theory;
|
file |
diff |
annotate
|
| 2019-08-13 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| 2019-08-13 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| 2019-07-29 |
nipkow |
News for bind infixl
|
file |
diff |
annotate
|
| 2019-06-14 |
haftmann |
official fact collection sign_simps
|
file |
diff |
annotate
|
| 2019-06-14 |
haftmann |
clear separation of types for bits (False / True) and Z2 (0 / 1)
|
file |
diff |
annotate
|
| 2019-06-14 |
haftmann |
removed relics of ASCII syntax for indexed big operators
|
file |
diff |
annotate
|
| 2019-06-01 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2019-05-28 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2019-05-27 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2019-05-18 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2019-05-11 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| 2019-05-10 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| 2019-05-09 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2019-05-03 |
haftmann |
more NEWS
|
file |
diff |
annotate
|
| 2019-04-30 |
paulson |
Algebraic closure: moving more theorems into their rightful places
|
file |
diff |
annotate
|
| 2019-04-16 |
haftmann |
eliminated type class
|
file |
diff |
annotate
|
| 2019-04-16 |
haftmann |
entry point for comprehensive word library
|
file |
diff |
annotate
|
| 2019-04-16 |
wenzelm |
tuned for release;
|
file |
diff |
annotate
|
| 2019-04-14 |
paulson |
Group theory developments towards proving algebraic closure (by de Vilhena and Baillon)
|
file |
diff |
annotate
|