Admin/components/bundled
author wenzelm
Wed Jan 09 18:12:21 2013 +0100 (2013-01-09)
changeset 50790 0088e0805b10
child 52176 d3ee6315ca22
permissions -rw-r--r--
updated makebundles as Admin isabelle tool;
wenzelm@50790
     1
#additional components to be bundled for release
wenzelm@50790
     2
ProofGeneral-4.1
wenzelm@50790
     3