Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Tue, 13 Oct 2020 16:32:48 +0200
changeset 72461 4c6f318bcf9c
parent 72460 e79294c4230c
child 72462 7c552a256ca5
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Tue Oct 13 16:17:08 2020 +0200
+++ b/NEWS	Tue Oct 13 16:32:48 2020 +0200
@@ -185,7 +185,7 @@
 *** System ***
 
 * Update/rebuild external provers on currently supported OS platforms,
-notably E Prover 2.5, SPASS 3.8ds, CSDP 6.1.1.
+notably E prover 2.5, SPASS 3.8ds, CSDP 6.1.1.
 
 * Discontinued obsolete isabelle display tool, and DVI_VIEWER settings
 variable.
isabelle