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.
updated component name
authorblanchet
Wed, 28 Jul 2010 19:07:34 +0200
changeset 38048 9eda375ec19d
parent 38047 9033c03cc214
child 38049 327705ac4759
updated component name
etc/components file | annotate | diff | comparison | revisions 
--- a/etc/components	Wed Jul 28 19:04:59 2010 +0200
+++ b/etc/components	Wed Jul 28 19:07:34 2010 +0200
@@ -13,7 +13,7 @@
 #misc components
 src/Tools/Code
 src/Tools/WWW_Find
-src/HOL/Tools/ATP_Manager
+src/HOL/Tools/ATP
 src/HOL/Mirabelle
 src/HOL/Library/Sum_Of_Squares
 src/HOL/Tools/SMT
isabelle