added the nb-project 'isac' to repo; you find it in /src/Tools/isac/jedit!

the isac plugin for jEdit

changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/

updated "op +", "op -", "op *". "HOL.divide" in src & test

find . -type f -exec sed -i s/"\"op +\""/"\"Groups.plus_class.plus\""/g {} \;
find . -type f -exec sed -i s/"\"op -\""/"\"Groups.minus_class.minus\""/g {} \;
find . -type f -exec sed -i s/"\"op *\""/"\"Groups.times_class.times\""/g {} \;
find . -type f -exec sed -i s/"\"HOL.divide\""/"\"Rings.inverse_class.divide\""/g {} \;

interrupted update test/../Knowledge/integrate.sml, repaired term2str

term2str by help from Florian and Jasmin; took the former.
Found at that point in integrate.sml,
that all "op +" etc need to be updated.

tuned pbt's due to copy_named

repaired is_copy_named, cpy_nam and improved tests & comments

repaired copy_nam

adapted is_copy_named from v___ to v'''

Unclear comment for 'fun is_copy_named_generating',
thus probably still broken; waiting for further tests.
Tests are still run from Build_Isac.

tuned