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

proofgeneral_4.2~pre120605.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:proofgeneral_4.2~pre120605.orig.tar.gz

/proofgeneral-4.2~pre120605/README

	    Proof General --- Organize your proofs! 

Proof General is a generic Emacs interface for proof assistants.
The aim of the Proof General project is to provide a powerful, generic
environment for using interactive proof assistants.

This is version 4.2 (prerelease) of Proof General.  See About for exact version.
It is built for Emacs 23.3.

The code *may* also work with previous emacs versions,
more»

/proofgeneral-4.2~pre120605/acl2/README

ACL2 Proof General, for ACL2.

Written by David Aspinall.

Status:	       alpha; unsupported
Maintainer:    volunteer required
ACL2 version:  Tested briefly with acl2.5
ACL2 homepage: http://www.cs.utexas.edu/users/moore/acl2

========================================

This is the absolute bare beginnings of a PG instance for ACL2.
At the moment, only basic script management is configured.

I have 
more»

/proofgeneral-4.2~pre120605/ccc/README

Proof General for the Casl Consistency Checker

Author:	Christoph L�th <cxl@informatik.uni-bremen.de>
       
=================================================================

This is a fairly straightforward instantiation of Proof General for
the Casl Consistency Checker, CCC. 

CASL is the standard algebraic specification language, and CCC is a
tool to check consistency of CASL specifications.

more»

/proofgeneral-4.2~pre120605/contrib/mmm/README

                          MMM Mode for Emacs
                          ==================

OVERVIEW
more»

/proofgeneral-4.2~pre120605/contrib/mmm/README.mmm-for-ProofGeneral

The code in this directory is taken from  

	http://mmm-mode.sourceforge.net/

This is version 0.4.8
more»

/proofgeneral-4.2~pre120605/coq/README

Coq Proof General

Originally written by  Healfdene Goguen.
Later contributions by Patrick Loiseleur
more»

/proofgeneral-4.2~pre120605/coq/ex/test-cases/README

This directory contains test cases for coq ProofGeneral,
especially for its multi-file support.

Eac
more»

/proofgeneral-4.2~pre120605/coq/ex/test-cases/add-load-path-unsupported/README

b/b.v depends on a/a.v and the code is correct because of Add
LoadPath in b.

Scripting b/b.v works 
more»

Browse inside proofgeneral_4.2~pre120605.orig.tar.gz

         [DIR]proofgeneral-4.2~pre120605/ (33)

Download proofgeneral_4.2~pre120605.orig.tar.gz

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