Filewatcher File Search File Search
Catalog
Content Search
» » » » »

matita-doc

user manual of the Matita interactive theorem prover

This package contains the PDF and HTML formatted Matita user manual.
Homepage:
Package version:0.5.8-2
Architecture:all
Distribution:Debian
Filename:matita-doc_0.5.8-2_all.deb

/usr/share/doc/matita-doc/changelog.Debian.gz

matita (0.5.8-2) unstable; urgency=low

  * Conflict and replace matita-standard-library (Closes: #559261)
  * suggest matita-doc

 -- Enrico Tassi <gareuselesinge@debian.org>  Fri, 04 Dec 2009 14:32:45 +0100

matita (0.5.8-1) unstable; urgency=low

  * New upstream release supporting lablgtksourceview2
  * Added docbook-xsl and docbook-xml as build-depend-indep (Closes: #532289)
  * Removed debia
more»

/usr/share/doc/matita-doc/changelog.gz

0.5.8 - ... - toward the 1.x series
	* Complete rewriting of paramodulation code (thanks to Maxime Denes),
	  that is abstract over the data type embedded in the fisrt order
	  theory the procedure is able to handle. 
	  Can be used as a stand-alone prover, and partecipated
	  to the CASC22 beating many older systems ;-)
	* new (compact) kernel:
	  * toplevel fixpoints 
	  * height (inter object d
more»

/usr/share/doc/matita-doc/AUTHORS

Andrea Asperti <asperti@cs.unibo.it>
Ferruccio Guidi <fguidi@cs.unibo.it>
Luca Padovani <lpadovan@cs.unibo.it>
Enrico Tassi <tassi@cs.unibo.it>
Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
Stefano Zacchiroli <zacchiro@cs.unibo.it>

/usr/share/doc/matita-doc/copyright

This package was debianized by Enrico Tassi <gareuselesinge@debian.org>
Wed Oct 17 17:48:32 CEST 200
more»

/usr/share/doc/matita-doc/BUGS

Matita bugs are managed using the Bugzilla bug tracker available at:

  http://bugs.mowgli.cs.unibo
more»

Browse inside matita-doc_0.5.8-2_all.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (1)  65535+ mirrors

Download matita-doc_0.5.8-2_all.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com