Home My Page Projects CoqFiniteGroups
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Project Filelist for CoqFiniteGroups

File Release Notes and Changelog

Release Name: 1.1

Release Notes
	THE SSREFLECT EXTENSION FOR THE COQ SYSTEM
        ------------------------------------------


INSTALLATION
============

	See the file INSTALL for installation procedure.


DOCUMENTATION
=============

	The documentation of the ssreflect tactics, and a brief
description of the libraries contained in the theories/ directory of
the archive, can ba found in the doc/ directory.

	This documentation is also available as an Inria Research
Report at 
	http://hal.inria.fr/inria-00258384. 
This online version may be updated between two successive releases of
ssreflect.

AVAILABILITY
============

	Ssreflect files are available at:
	http://www.msr-inria.inria.fr/Projects/math-components

	This development is distributed under the Cecill-B license,
see the file LICENSE.


THE SSREFLECT DISCUSSION LIST
=============================

	The ssreflect list is meant to be a standard way to
discuss questions about the ssreflect extension and its use.
	To subscribe to
		ssreflect@msr-inria.inria.fr
 either send an email to sympa@msr-inria.inria.fr, whose title contains the
word ssreflect, or use the following web interface:
    https://www.msr-inria.inria.fr/sympa