etc/components
changeset 49558 af7b652180d5
parent 48857 9032f4bdf205
child 50220 90280d85cd03
     1.1 --- a/etc/components	Mon Sep 24 20:22:58 2012 +0200
     1.2 +++ b/etc/components	Mon Sep 24 21:16:33 2012 +0200
     1.3 @@ -1,5 +1,6 @@
     1.4  src/Tools/Code
     1.5  src/Tools/jEdit
     1.6 +src/Tools/Graphview
     1.7  src/Tools/WWW_Find
     1.8  src/HOL/Mirabelle
     1.9  src/HOL/Mutabelle