Admin/components/bundled
2014-02-14 wenzelm 2014-02-14 prefer latest ProofGeneral-4.2-1 by default;
2014-01-18 wenzelm 2014-01-18 more unicode tokens; diff -r ProofGeneral-4.2/isar/isar-unicode-tokens.el ProofGeneral-4.2-1/isar/isar-unicode-tokens.el 356c356,359 < ("some" "ϵ")) --- > ("some" "ϵ") > ("open" "‹") > ("close" "›") > ("newline" "⏎"))
2013-05-27 wenzelm 2013-05-27 updated to ProofGeneral-4.2;
2013-01-09 wenzelm 2013-01-09 updated makebundles as Admin isabelle tool;