Nicer index for tactics in Yelp.

ported to the docbook "book"

Strange fix (for a yelp bug?)

From article to book

comment out an incomplete proof

More tactics documented.

Several more tactics documented.

Never implemented tactics compare and decide equality purged from the code.

added title to sliced htmls

added pretty printing of generated xml files via xmllint --format

added generation of .html and .txt version of manual parts

- removed old commented code
- added copyright notice

Help for the first two tactics.

added splitting engine for .html generated by docbook -> xhtml conversion

no more dummy names for building the library in distributed tarballs

"sec_" prefix for section IDs

Added a few basic definitions of subgroups and left cosets (together with
their extreme notation!)

added instructions (some gaps still to be filled in, notably: ./configure
parameters and instructions on how to create the mysql database)

written install section up to build requirements

changed location of version.txt

- moved version.txt.in to the help dir
- added Makefile to generate xhtml and pdf from the docbook manual

reshaped manual

- use the best matitamake to build the library on dist
- renamed dist targets so that they are distinguishable and not callable in
  when developing matita

fill DISTRIBUTED value on dist

removed useless grepping -v

- factorization of the recursive rule
- added "library" target to build the stdlib when distributed
- implemented "distcheck" target

added configure time values SRCROOT and DISTRIBUTED

factorization of the recursive rule

added Matitamake interface

absolute path and factorization for matita.basedir

- changed semantics of "init": now it is idempotent
- added support for "-v" flag printing "make" command line
- minor change: lazy discovering of whether we are ".opt" or not

use matita.verbosity instead of matita.quiet

- uniformed command line handling of matitamake with that of other matita tools
- changed "-q" flag semantics: now it reduce the "matita.verbosity" value by 1
  unit
- added "-v" flag: it increase the "matita.verbosity" value by 1
- "matita.quiet" is no longer in use

help path is no longer hard coded but relative to runtime base dir

fixed tactic ids to include a "tac_" prefix

- bugfix: pass -conffile to matitamake
- more quiet feedback during compilation of stdlib

Basic facts about group morphisms.

moved mathql/ under software/

first sketch of the documentation (to be used by yelp)

s/ocaml/components/ in the "tag" target

* groups splitted into groups and finite_groups
* a few lemmas added to groups

removed a Pcre capture that being _NON TAIL RECURSIVE_ used to cause stack_overflow... mah...

termine bacato.

fixed usage of matita.auto_disambiguation

Bug?

First proof on groups completed!

on the fly generation of distribution configure.ac

ported to the new svn architecture

- no longer need to dynamically discover if the components dir is libs/ or
  ocaml/: now it is components/(!)
- reverted default settings to the devel ones (debugging on, runtime dir=`pwd`,
  ...)

moved (dummy) dist stuff into software/matita/

moved toplevel makefile to sfotware/

- renamed ocaml/ to components/
- moved components/ and matita/ below software/

reorganization continues ...

(dis)organized web stuff

daemons tamed