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.
suppress bundled Naproche-SAD component: it is in conflict with building the same from sources;
authorwenzelm
Sat, 23 Jan 2021 14:17:02 +0100
changeset 73176 96321006c2d4
parent 73175 16772cc234a9
child 73177 9288ac2eda12
suppress bundled Naproche-SAD component: it is in conflict with building the same from sources;
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Fri Jan 22 19:32:03 2021 +0100
+++ b/Admin/components/main	Sat Jan 23 14:17:02 2021 +0100
@@ -11,7 +11,6 @@
 jfreechart-1.5.1
 jortho-1.0-2
 kodkodi-1.5.6
-naproche-20210122-1
 nunchaku-0.5
 opam-2.0.7
 polyml-test-f86ae3dc1686
isabelle