ChangeDetection - Change Log: The Zenon automatic theorem prover

The Zenon automatic theorem prover

Current status: normal - monitoring
Number of users monitoring this page: 1
Most recent sizable change (text, html) : 2010-02-19 09:44
Most recent change (text, html) : 2010-02-19 09:44
Last checked for changes: 2012-02-13 12:02
ChangeDetection started monitoring: 2008-09-10 09:10

monitor this page

summary of most recent changes

Showing 1 - 2 of 2

[refresh]

show added and deleted only added only deleted | show context hide context | show sizable show all

View changes: 2010-02-19 09:44 9 new words, 0 deleted words, 10% change
... BSD license . version 0.6.3 (2010-02-19): gzip ; bzip2 version 0.5.0 (2007-08-02): BSD license . version 0.6.3 (2010-02-19): gzip ; bzip2 version 0.5.0 (2007-08-02): BSD license . version ... 0.5.0 (2007-08-02):

View changes: 2009-11-19 09:10 0 new words, 10 deleted words, 11% change
... gzip ; bzip2 E-mail contact: zenon.prover at gmail.com gzip ; bzip2 gzip ; bzip2 E-mail contact: zenon.prover at gmail.com

link to this change log

Changes to the page focal.inria.fr/zenon/ are logged on this page as they are detected. You can link to this log by pasting the HTML below into your page. It produces a link which looks like this: change log

The Zenon automatic theorem prover

monitor this page

summary of most recent changes

link to this change log

log in

search