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

coqide

proof assistant for higher-order logic (gtk interface)

Variants:
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <http://coq.inria.fr/>.

This package provides CoqIde, a graphical user interface for developing proofs.

Homepage:-
Package version:8.1.pl3+dfsg-1+b2
Architecture:i386
Distribution:Debian
Filename:coqide_8.1.pl3+dfsg-1+b2_i386.deb

/usr/share/doc/coqide/FAQ

			CoqIde FAQ

Q0) What is CoqIde?
R0: A powerfull graphical interface for Coq. See http://coq.inria.fr. for more informations.

Q1) How to enable Emacs keybindings?
R1: Insert 
	gtk-key-theme-name = "Emacs"
    in your ".coqide-gtk2rc" file. It may be in the current dir
    or in $HOME dir. This is done by default.

Q2) How to enable antialiased fonts?
R2) Set the GDK_USE_XFT variable to 1. This 
more»

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

COQIDE(1)                                                  COQIDE(1)



NAME
       coqide - The Coq Proof Assistant graphical interface



SYNOPSIS
       coqide [ options ]


DESCRIPTION
       coqtop  is a gtk graphical interface for the Coq proof assisā€
       tant.

       For command-line-oriented use of Coq,  see  coqide(1)  ;  for
       batch-oriented use of Coq, see coqc(1).



OPTIONS
more»

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

coq (8.1.pl3+dfsg-1+b2) unstable; urgency=low

  * Binary-only non-maintainer upload for i386; no source changes.
  * Rebuild with ocaml 3.10.2

 -- Debian/i386 Build Daemon <buildd_i386-ninsei>  Sun, 25 May 2008 22:28:26 -0700

coq (8.1.pl3+dfsg-1) unstable; urgency=low

  [ Stefano Zacchiroli ]
  * fix vcs-svn field to point just above the debian/ dir

  [ Samuel Mimram ]
  * New upstream releas
more»

/usr/share/doc/coqide/changelog.gz

Changes from V8.1pl2 to V8.1pl3
===============================

Bug fixes 

- A critical bug and a 
more»

/usr/share/doc/coqide/copyright

This package was debianized by Fernando Sanchez <fer@debian.org>

It was downloaded from

ftp://ftp.
more»

Browse inside coqide_8.1.pl3+dfsg-1+b2_i386.deb

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

Download coqide_8.1.pl3+dfsg-1+b2_i386.deb

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