Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/init_components
changeset 48842 ac976e51cb67
parent 48448 94c11abc5a52 
--- a/Admin/init_components	Fri Aug 17 15:05:57 2012 +0200
+++ b/Admin/init_components	Fri Aug 17 17:48:26 2012 +0200
@@ -12,4 +12,4 @@
     /*) init_component "$REPLY" ;;
     *) init_component "$COMPONENT/$REPLY" ;;
   esac
-done < "$ISABELLE_HOME/Admin/components"
+done < "$ISABELLE_HOME/Admin/components_old"
isabelle