TuCSoN v. 1.11.0.0209 has been released.
Main new features:
- distributions of TuCSoN and tuProlog finally separated
- distributions of TuCSoN branches (TuCSoN4JADE & TuCSoNAndroid) separated
- persistency & recovery mechanisms
- ReSpecTVM step-by-step mode via Inspector
- alignment with TuCSoN4JADE (v. 1.0)
- alignment with tuProlog (v. 2.9.1) TuCSoN is available from its download page.