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.
more robust etc/settings;
authorwenzelm
Fri, 22 Jan 2021 19:32:03 +0100
changeset 73175 16772cc234a9
parent 73174 ab3fa0abc119
child 73176 96321006c2d4
more robust etc/settings;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Fri Jan 22 18:44:34 2021 +0100
+++ b/Admin/components/components.sha1	Fri Jan 22 19:32:03 2021 +0100
@@ -210,6 +210,7 @@
 ad5d0e640ce3609a885cecab645389a2204e03bb  macos_app-20150916.tar.gz
 400af57ec5cd51f96928d9de00d077524a6fe316  macos_app-20181205.tar.gz
 3bc42b8e22f0be5ec5614f1914066164c83498f8  macos_app-20181208.tar.gz
+0fbc826e4fcb95bb9e1814642f7fce788e7fe1c3  naproche-20210122-1.tar.gz
 eda10c62da927a842c0a8881f726eac85e1cb4f7  naproche-20210122.tar.gz
 26df569cee9c2fd91b9ac06714afd43f3b37a1dd  nunchaku-0.3.tar.gz
 e573f2cbb57eb7b813ed5908753cfe2cb41033ca  nunchaku-0.5.tar.gz
--- a/Admin/components/main	Fri Jan 22 18:44:34 2021 +0100
+++ b/Admin/components/main	Fri Jan 22 19:32:03 2021 +0100
@@ -11,7 +11,7 @@
 jfreechart-1.5.1
 jortho-1.0-2
 kodkodi-1.5.6
-naproche-20210122
+naproche-20210122-1
 nunchaku-0.5
 opam-2.0.7
 polyml-test-f86ae3dc1686
isabelle