Naproche - Natural Language Proof Checking
"; ?>

Changelog of the Naproche system (until version 0.47)

Version 0.47 -- 8. June 2010 -- Revision 600

Linguistic Module
Developers

Version 0.46 -- 25. March 2010 -- Revision 590

General
Website
Linguistic Module
Logic Module
Developers

Version 0.45 -- 7. Dezember 2009 -- Revision 506

General
Website
Linguistic Module
Logic Module
Development Utils
Developers

Version 0.41 -- 1. November 2009

General
Website
Linguistic Module
Logic Module
Developers

Version 0.4 -- 1. October 2009

Developers

Version 0.3 -- June 2009

Developers

Version 0.2 -- July 2008

Developers

Version 0.1 -- 2007

Developers
Last changed June 16, 2010