1.1 --- a/isac-java/src/java/isac/bridge/BridgeRMI.java	Sun Aug 16 15:47:19 2015 +0200
     1.2 +++ b/isac-java/src/java/isac/bridge/BridgeRMI.java	Sun Aug 16 15:53:14 2015 +0200
     1.3 @@ -1281,11 +1281,16 @@
     1.4          //----vvv delete at end of phase-2a ------------------------------------------------
     1.5      	/*PIDE*/TODO = JavaToIsa.auto_calculate(new scala.math.BigInt(BigInteger.valueOf(sml_id)), 
     1.6      	/*PIDE*/  "Step", new scala.math.BigInt(BigInteger.valueOf(1)));
     1.7 -    	/*PIDE*/pos = new Position(); //TODO get from auto_calculate_out !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
     1.8 -    	/*PIDE*/pos.setKind("DUMMY"); //TODO get from auto_calculate_out !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
     1.9      	/*PIDE*/bridge_.log(1, "-->ISA: " + TODO);
    1.10          //----^^^ delete at end of phase-2a ------------------------------------------------
    1.11  
    1.12 +    	/*PIDE*/bridge_.log(1, "-->ISA: " + "(*setTheory*)getActiveFormula " + sml_id + ";");   	
    1.13 +        //----vvv TODO NOT finished --------------------------------------------------------
    1.14 +    	/*PIDE*/TODO = JavaToIsa.get_active_form(new scala.math.BigInt(BigInteger.valueOf(sml_id)));    	
    1.15 +    	/*PIDE*/pos = new Position(); //TODO get from get_active_form_out !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
    1.16 +    	/*PIDE*/pos.setKind("DUMMY"); //TODO get from get_active_form_out !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
    1.17 +        //----^^^ TODO NOT finished --------------------------------------------------------
    1.18 +    	
    1.19      	/*PIDE*/bridge_.log(1, "-->ISA: " + "(*setTheory*)refFormula " + sml_id + " " + pos.toSMLString() + ";");
    1.20          //----vvv delete at end of phase-2a ------------------------------------------------
    1.21      	/*PIDE*/TODO = JavaToIsa.ref_formula(new scala.math.BigInt(BigInteger.valueOf(sml_id)), pos);//^^pos.setKind("DUMMY")