changeset 34395 | 287f3ecdfc2a |
parent 34379 | c80f42933ac6 |
child 34413 | 10cdbba5af89 |
--- a/src/Tools/jEdit/makedist Sun Nov 30 19:32:17 2008 +0100 +++ b/src/Tools/jEdit/makedist Tue Dec 02 15:25:24 2008 +0100 @@ -93,6 +93,8 @@ cp jars/Isabelle-jEdit.jar "$JEDIT/jars/isabelle.jar" cp jars/lib/Pure.jar "$JEDIT/jars/isabelle-Pure.jar" cp jars/lib/core-renderer.jar "$JEDIT/jars/" +cp jars/lib/ErrorList.jar "$JEDIT/jars/" +cp jars/lib/SideKick.jar "$JEDIT/jars/" # build archive