equal
deleted
inserted
replaced
183 - Added MaSh relevance filter based on machine-learning; see the |
183 - Added MaSh relevance filter based on machine-learning; see the |
184 Sledgehammer manual for details. |
184 Sledgehammer manual for details. |
185 - Rationalized type encodings ("type_enc" option). |
185 - Rationalized type encodings ("type_enc" option). |
186 - Renamed "kill_provers" subcommand to "kill" |
186 - Renamed "kill_provers" subcommand to "kill" |
187 - Renamed options: |
187 - Renamed options: |
|
188 isar_proof ~> isar_proofs |
|
189 isar_shrink_factor ~> isar_shrinkage |
188 max_relevant ~> max_facts |
190 max_relevant ~> max_facts |
189 relevance_thresholds ~> fact_thresholds |
191 relevance_thresholds ~> fact_thresholds |
190 |
192 |
191 |
193 |
192 *** Document preparation *** |
194 *** Document preparation *** |