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.
revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04;
authorwenzelm
Wed, 06 Mar 2024 21:52:58 +0100
changeset 79804 1f7dcfdb3e67
parent 79803 33c93008db03
child 79805 45198ea3f0b3
child 79806 ba8fb71587ae
revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Mar 06 17:04:54 2024 +0100
+++ b/NEWS	Wed Mar 06 21:52:58 2024 +0100
@@ -21,7 +21,6 @@
 
   - Z3
   - CVC4
-  - OCaml / OPAM
   - Nunchaku + smbc (experimental)
isabelle