Category: News (17 posts) [RSS]

Subcategories

Jul 16 2019

tuProlog 4.0 has been released

tuProlog 4.0 has been released! The new version aims to provide a stable environment

  • new parser redesign and implementation based on ANTLR
  • new Java API for theories and term creations 
  • full support for the JSON serialization and de-serialization of terms
  • new development process splitting the code into four main modules: core, parser, presentation, ui
  • dockerization of the command line interface
  • completing the pending bugfixes, with special regards to some old annoying bugs

tuProlog 4.0 has been released

tuProlog 4.0 has been released! The new version aims to provide a stable environment

  • new parser redesign and implementation based on ANTLR
  • new Java API for theories and term creations 
  • full support for the JSON serialization and de-serialization 
  • new development process splitting the code into four main modules: core, parser, presentation, ui
  • completing the pending bugfixes, with special regards to some old annoying bugs

Sep 28 2018

tuProlog 3.3.0 Released

tuProlog 3.3.0 has been released! This version provides a stable environment for the new eclipse plugin and the new android application.

Oct 14 2015

Personal blog working again

Along with the most relevant blogs in APICe, my personal blog on APICe is working again. ...

Feb 02 2015

tuProlog 2.9.2 Released

The new release (v. 2.9.2) of tuProlog is available from via Bitbucket. ...

Oct 17 2014

tuProlog 2.9.1 Released

The new release (v. 2.9.1) of tuProlog is available from the download page. ...

Oct 16 2014

TuCSoN 1.11.0.0209 Released

The new release (v. 1.11.0.0209) of TuCSoN is available from the download page. ...

Oct 14 2014

TuCSoN4JADE Released

TuCSoN4JADE (T4J for short) v. 1.0 was released, and submitted to JADE developer as 3rd-party contribution. ...

Apr 17 2012

Modificato il Look & Feel di xWikiApice

L'idea di fondo è la stessa, ma come si può notare, è stato ridisegnata la sezione superiore con nuovi header, più leggeri ed aggiornati.

Inoltre è stata introdotta una nuova barra di navigazione attiva, per spostarsi tra i principali spazi del portale.

Come sempre contiamo sul vostro aiuto per individuare eventuali malfunzionamneti.

grazie

Oct 17 2011

xWikiUpdate194

APICe server is now powered by XWiki v. 1.9.4.

Please report not working properly page or any kind of bug.

The Upgrade process in documented in Upgrade Issues.