| 2018-10-04 |
Lars Hupel |
use correct hostname
|
changeset |
files
|
| 2018-10-04 |
Lars Hupel |
Jenkins: detect machine; adjust job parameters accordingly
|
changeset |
files
|
| 2018-10-04 |
Lars Hupel |
Jenkins: tuned profiles
|
changeset |
files
|
| 2018-10-04 |
nipkow |
merged
|
changeset |
files
|
| 2018-10-04 |
nipkow |
simplified proofs
|
changeset |
files
|
| 2018-10-04 |
Lars Hupel |
Jenkins: delete obsolete profile
|
changeset |
files
|
| 2018-10-03 |
nipkow |
tuned
|
changeset |
files
|
| 2018-10-03 |
wenzelm |
merged
|
changeset |
files
|
| 2018-10-03 |
wenzelm |
unused -- avoid illegal access in Java 11;
|
changeset |
files
|
| 2018-10-03 |
wenzelm |
misc tuning and modernization;
|
changeset |
files
|
| 2018-10-03 |
paulson |
merged
|
changeset |
files
|
| 2018-09-24 |
paulson |
merged
|
changeset |
files
|
| 2018-09-24 |
paulson |
cosmetic change to mvt
|
changeset |
files
|
| 2018-10-03 |
nipkow |
shuffle -> shuffles
|
changeset |
files
|
| 2018-10-03 |
nipkow |
shuffle -> shuffles
|
changeset |
files
|
| 2018-10-02 |
wenzelm |
updated windows_app to launch4j 3.12: "fully supports Java 9 and newer";
|
changeset |
files
|
| 2018-10-02 |
wenzelm |
explicit group "no_doc" for unfinished documentation, allows to suppress everything uniformly: -X doc -X no_doc;
|
changeset |
files
|
| 2018-10-02 |
wenzelm |
reduce tracing messages to make it work in PIDE session;
|
changeset |
files
|
| 2018-10-02 |
wenzelm |
unbounded tracing for proper termination, e.g. relevant for theory Sequents.Hard_Quantifiers;
|
changeset |
files
|
| 2018-10-01 |
wenzelm |
tuned output -- avoid bombing of Scala toplevel, e.g. for AFP deps;
|
changeset |
files
|
| 2018-10-01 |
wenzelm |
more direct implementation of distinct_subgoals_tac -- potentially more efficient;
|
changeset |
files
|
| 2018-10-01 |
wenzelm |
tuned;
|
changeset |
files
|
| 2018-10-01 |
wenzelm |
HOL-SPARK .prv files are no longer written to the file-system;
|
changeset |
files
|
| 2018-10-01 |
wenzelm |
updated to postgresql-42.2.5;
|
changeset |
files
|
| 2018-09-30 |
immler |
merged
|
changeset |
files
|
| 2018-09-29 |
immler |
fix (non-existent) document generation
|
changeset |
files
|
| 2018-09-30 |
wenzelm |
updated to scala-2.12.7;
|
changeset |
files
|
| 2018-09-30 |
nipkow |
news
|
changeset |
files
|
| 2018-09-30 |
wenzelm |
de-emphasize HOL-SPARK: somewhat outdated;
|
changeset |
files
|
| 2018-09-30 |
wenzelm |
proper naming conventions for contexts;
|
changeset |
files
|
| 2018-09-30 |
wenzelm |
permissive declaration attribute "relator_mono", e.g. relevant for Binomial-Heaps.BinomialHeap with -o export_theory;
|
changeset |
files
|
| 2018-09-30 |
wenzelm |
tuned spelling;
|
changeset |
files
|
| 2018-09-30 |
wenzelm |
tuned whitespace and sections;
|
changeset |
files
|
| 2018-09-30 |
wenzelm |
tuned -- eliminated clone;
|
changeset |
files
|
| 2018-09-30 |
wenzelm |
suppress aux. locales from command 'experiment' -- avoid crash of theory Dict_Construction.Test_Dict_Construction (AFP);
|
changeset |
files
|
| 2018-09-30 |
wenzelm |
obsolete (see 6f8ae6ddc26b);
|
changeset |
files
|
| 2018-09-30 |
nipkow |
updated to new list_update precedence
|
changeset |
files
|
| 2018-09-30 |
nipkow |
avoid confusing precedences
|
changeset |
files
|
| 2018-09-29 |
wenzelm |
more direct locale goal: avoid renaming of type_parameters;
|
changeset |
files
|
| 2018-09-29 |
nipkow |
adapted to Library/LaTeXsugar
|
changeset |
files
|
| 2018-09-29 |
nipkow |
const_typ also works for fixed variables - useful primarily for locales
|
changeset |
files
|
| 2018-09-29 |
wenzelm |
tuned message according to ML version;
|
changeset |
files
|
| 2018-09-29 |
wenzelm |
more liberal: detect free-form infixes as well, e.g. Orderings.ord_class.less_eq;
|
changeset |
files
|
| 2018-09-28 |
wenzelm |
more accurate syntax: e.g. avoid brackets as prefix notation;
|
changeset |
files
|
| 2018-09-28 |
wenzelm |
more approximative prefix syntax, including binder;
|
changeset |
files
|
| 2018-09-28 |
wenzelm |
proper syntax for locale vs. class parameters;
|
changeset |
files
|
| 2018-09-27 |
nipkow |
simpler def
|
changeset |
files
|
| 2018-09-26 |
wenzelm |
tuned signature;
|
changeset |
files
|