1.1 --- a/src/Tools/isac/Frontend/interface.sml	Mon Aug 24 10:21:14 2015 +0200
     1.2 +++ b/src/Tools/isac/Frontend/interface.sml	Tue Aug 25 06:04:18 2015 +0200
     1.3 @@ -369,7 +369,16 @@
     1.4      handle _ => sysERROR2xml cI "error in kernel 11";
     1.5  
     1.6  
     1.7 -(* set the UContext determined on a knowledgebrowser to the current calc *)
     1.8 +(* set the UContext determined on a knowledgebrowser to the current calc 
     1.9 +  WN0825: not implemented in isac-java.
    1.10 +  This is indicated by the absence of use-cases in isac-docu.ps.gz
    1.11 +  and of JUnit tests in isac-java/../java-tests/.
    1.12 +
    1.13 +  Recalling the state of development after summer-term 2006 (Robert Koenishofer et.al.):
    1.14 +  Main success was showing UCntext from Worksheet to the Example/Method/Problem/TheoryBrowser,
    1.15 +  while the buttons on these browsers <To Worksheet> <Try Refine> have no
    1.16 +  code in isac-java (and only partial, untested code in isabisac).
    1.17 +*)
    1.18  fun setContext (cI:calcID) (ip as (_,p_):pos') (guh:guh) =
    1.19    case (implode o (take_fromto 1 4) o Symbol.explode) guh of
    1.20       "thy_" =>