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