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.
add Haskabelle-2015 component
authorLars Noschinski <noschinl@in.tum.de>
Mon, 18 May 2015 16:59:09 +0200
changeset 60290 88ccc0ae310c
parent 60289 1fb026be7536
child 60291 4335ee20014e
add Haskabelle-2015 component
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sun May 17 23:09:03 2015 +0200
+++ b/Admin/components/components.sha1	Mon May 18 16:59:09 2015 +0200
@@ -27,6 +27,7 @@
 ae7ee5becb26512f18c609e83b34612918bae5f0  exec_process-1.0.tar.gz
 59a71e08c34ff01f3f5c4af00db5e16369527eb7  Haskabelle-2013.tar.gz
 23a96ff4951d72f4024b6e8843262eda988bc151  Haskabelle-2014.tar.gz
+eccff31931fb128c1dd522cfc85495c9b66e67af  Haskabelle-2015.tar.gz
 683acd94761ef460cca1a628f650355370de5afb  hol-light-bundle-0.5-126.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
--- a/Admin/components/main	Sun May 17 23:09:03 2015 +0200
+++ b/Admin/components/main	Mon May 18 16:59:09 2015 +0200
@@ -3,7 +3,7 @@
 cvc4-1.5pre-2
 e-1.8
 exec_process-1.0.3
-Haskabelle-2014
+Haskabelle-2015
 jdk-7u80
 jedit_build-20150228
 jfreechart-1.0.14-1
isabelle