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

matita

interactive theorem prover

Variants:
Matita is a graphical interactive theorem prover based on the Calculus of (Co)Inductive Constructions.
Homepage:
Package version:0.99.1-1
Architecture:mipsel
Distribution:Debian
Filename:matita_0.99.1-1_mipsel.deb

/usr/share/man/man1/matitac.1.gz

MATITAC(1)                  User Commands                 MATITAC(1)



NAME
       matitac - Matita interative theorem prover - batch compiler

SYNOPSIS
       matitac [ OPTION ... ] FILE

DESCRIPTION
       Matita batch compiler v0.99.1

OPTIONS
       -b <path::uri> forces the baseuri of path

       -I  <path>  Adds  path  to the list of searched paths for the
              include command

  
more»

/usr/share/man/man1/matitaclean.1.gz

MATITACLEAN(1)              User Commands             MATITACLEAN(1)



NAME
       matitaclean - Matita interative theorem prover - cleanup tool

SYNOPSIS
       matitaclean all

DESCRIPTION
       MatitaClean v0.99.1

              matitaclean ( FILE | URI )

OPTIONS
       -b <path::uri> forces the baseuri of path

       -I  <path>  Adds  path  to the list of searched paths for the
           
more»

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

matita (0.99.1-1) unstable; urgency=low

  * New upstream release
  * Removed package matita-doc (doc is available via F1)
  * Switch to dh
  * Add matita.desktop
  * Remove the following patches (integrated upstream):
    - Fix-FTBFS-with-camlp5-6.05
    - matita.conf.xml.in
    - slist-sep
    - numbers
    - native-compilers
  * New patch 'configure' to avoid useless build-dep on mysql ocaml bi
more»

/usr/share/matita/help/C/TODO

1) in order to generated chunked html directly
    XHTML_XSL=http://docbook.sourceforge.net/release
more»

/usr/share/matita/AUTHORS

Andrea Asperti <asperti@cs.unibo.it>
Ferruccio Guidi <fguidi@cs.unibo.it>
Luca Padovani <lpadovan@cs
more»

/usr/share/matita/LICENSE

Copyright (C) 2000-2006, HELM Team.

Matita is part of HELM, an Hypertextual, Electronic
Library of 
more»

/usr/share/doc/matita/copyright

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

Browse inside matita_0.99.1-1_mipsel.deb

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

Download matita_0.99.1-1_mipsel.deb

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