equal
deleted
inserted
replaced
41 recomputed with "apsnd (ATP_Util.map_prod |
41 recomputed with "apsnd (ATP_Util.map_prod |
42 Sledgehammer.short_string_of_sledgehammer_outcome single)". |
42 Sledgehammer.short_string_of_sledgehammer_outcome single)". |
43 INCOMPATIBILITY. |
43 INCOMPATIBILITY. |
44 - Added support for TX0 and TX1 TPTP formats and $ite/$let expressions |
44 - Added support for TX0 and TX1 TPTP formats and $ite/$let expressions |
45 in TH0 and TH1. |
45 in TH0 and TH1. |
|
46 |
|
47 |
|
48 *** System *** |
|
49 |
|
50 * Command-line tool "isabelle scala_project" supports Gradle as |
|
51 alternative to Maven: either option -G or -M needs to be specified |
|
52 explicitly. This increases the chances that the Java/Scala IDE project |
|
53 works properly. |
|
54 |
46 |
55 |
47 |
56 |
48 New in Isabelle2021-1 (December 2021) |
57 New in Isabelle2021-1 (December 2021) |
49 ------------------------------------- |
58 ------------------------------------- |
50 |
59 |