]> matita.cs.unibo.it Git - helm.git/log
helm.git
18 years agoNicer index for tactics in Yelp.
Claudio Sacerdoti Coen [Wed, 8 Feb 2006 16:51:43 +0000 (16:51 +0000)]
Nicer index for tactics in Yelp.

18 years agoported to the docbook "book"
Stefano Zacchiroli [Wed, 8 Feb 2006 16:49:55 +0000 (16:49 +0000)]
ported to the docbook "book"

18 years agoStrange fix (for a yelp bug?)
Claudio Sacerdoti Coen [Wed, 8 Feb 2006 16:40:25 +0000 (16:40 +0000)]
Strange fix (for a yelp bug?)

18 years agoFrom article to book
Claudio Sacerdoti Coen [Wed, 8 Feb 2006 16:36:39 +0000 (16:36 +0000)]
From article to book

18 years agocomment out an incomplete proof
Stefano Zacchiroli [Wed, 8 Feb 2006 15:35:08 +0000 (15:35 +0000)]
comment out an incomplete proof

18 years agoMore tactics documented.
Claudio Sacerdoti Coen [Wed, 8 Feb 2006 14:27:37 +0000 (14:27 +0000)]
More tactics documented.

18 years agoSeveral more tactics documented.
Claudio Sacerdoti Coen [Wed, 8 Feb 2006 14:15:34 +0000 (14:15 +0000)]
Several more tactics documented.

18 years agoNever implemented tactics compare and decide equality purged from the code.
Claudio Sacerdoti Coen [Wed, 8 Feb 2006 13:38:43 +0000 (13:38 +0000)]
Never implemented tactics compare and decide equality purged from the code.

18 years agoadded title to sliced htmls
Stefano Zacchiroli [Wed, 8 Feb 2006 12:54:56 +0000 (12:54 +0000)]
added title to sliced htmls

18 years agoadded pretty printing of generated xml files via xmllint --format
Stefano Zacchiroli [Wed, 8 Feb 2006 12:54:42 +0000 (12:54 +0000)]
added pretty printing of generated xml files via xmllint --format

18 years agoadded generation of .html and .txt version of manual parts
Stefano Zacchiroli [Wed, 8 Feb 2006 12:38:11 +0000 (12:38 +0000)]
added generation of .html and .txt version of manual parts

18 years ago- removed old commented code
Stefano Zacchiroli [Wed, 8 Feb 2006 12:33:08 +0000 (12:33 +0000)]
- removed old commented code
- added copyright notice

18 years agoHelp for the first two tactics.
Claudio Sacerdoti Coen [Wed, 8 Feb 2006 10:55:57 +0000 (10:55 +0000)]
Help for the first two tactics.

18 years agoadded splitting engine for .html generated by docbook -> xhtml conversion
Stefano Zacchiroli [Wed, 8 Feb 2006 10:34:37 +0000 (10:34 +0000)]
added splitting engine for .html generated by docbook -> xhtml conversion

18 years agono more dummy names for building the library in distributed tarballs
Stefano Zacchiroli [Wed, 8 Feb 2006 10:33:59 +0000 (10:33 +0000)]
no more dummy names for building the library in distributed tarballs

18 years ago"sec_" prefix for section IDs
Stefano Zacchiroli [Tue, 7 Feb 2006 23:08:27 +0000 (23:08 +0000)]
"sec_" prefix for section IDs

18 years agoAdded a few basic definitions of subgroups and left cosets (together with
Claudio Sacerdoti Coen [Tue, 7 Feb 2006 18:26:27 +0000 (18:26 +0000)]
Added a few basic definitions of subgroups and left cosets (together with
their extreme notation!)

18 years agoadded instructions (some gaps still to be filled in, notably: ./configure
Stefano Zacchiroli [Tue, 7 Feb 2006 17:54:41 +0000 (17:54 +0000)]
added instructions (some gaps still to be filled in, notably: ./configure
parameters and instructions on how to create the mysql database)

18 years agowritten install section up to build requirements
Stefano Zacchiroli [Tue, 7 Feb 2006 17:31:38 +0000 (17:31 +0000)]
written install section up to build requirements

18 years agochanged location of version.txt
Stefano Zacchiroli [Tue, 7 Feb 2006 15:13:41 +0000 (15:13 +0000)]
changed location of version.txt

18 years ago- moved version.txt.in to the help dir
Stefano Zacchiroli [Tue, 7 Feb 2006 14:54:25 +0000 (14:54 +0000)]
- moved version.txt.in to the help dir
- added Makefile to generate xhtml and pdf from the docbook manual

18 years agoreshaped manual
Stefano Zacchiroli [Tue, 7 Feb 2006 13:39:52 +0000 (13:39 +0000)]
reshaped manual

18 years ago- use the best matitamake to build the library on dist
Stefano Zacchiroli [Tue, 7 Feb 2006 10:54:15 +0000 (10:54 +0000)]
- 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

18 years agofill DISTRIBUTED value on dist
Stefano Zacchiroli [Tue, 7 Feb 2006 10:53:20 +0000 (10:53 +0000)]
fill DISTRIBUTED value on dist

18 years agoremoved useless grepping -v
Stefano Zacchiroli [Tue, 7 Feb 2006 10:53:01 +0000 (10:53 +0000)]
removed useless grepping -v

18 years ago- factorization of the recursive rule
Stefano Zacchiroli [Tue, 7 Feb 2006 10:52:35 +0000 (10:52 +0000)]
- factorization of the recursive rule
- added "library" target to build the stdlib when distributed
- implemented "distcheck" target

18 years agoadded configure time values SRCROOT and DISTRIBUTED
Stefano Zacchiroli [Tue, 7 Feb 2006 10:51:44 +0000 (10:51 +0000)]
added configure time values SRCROOT and DISTRIBUTED

18 years agofactorization of the recursive rule
Stefano Zacchiroli [Tue, 7 Feb 2006 10:51:02 +0000 (10:51 +0000)]
factorization of the recursive rule

18 years agoadded Matitamake interface
Stefano Zacchiroli [Mon, 6 Feb 2006 18:30:11 +0000 (18:30 +0000)]
added Matitamake interface

18 years agoabsolute path and factorization for matita.basedir
Stefano Zacchiroli [Mon, 6 Feb 2006 17:22:11 +0000 (17:22 +0000)]
absolute path and factorization for matita.basedir

18 years ago- changed semantics of "init": now it is idempotent
Stefano Zacchiroli [Mon, 6 Feb 2006 17:21:39 +0000 (17:21 +0000)]
- 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

18 years agouse matita.verbosity instead of matita.quiet
Stefano Zacchiroli [Mon, 6 Feb 2006 17:19:52 +0000 (17:19 +0000)]
use matita.verbosity instead of matita.quiet

18 years ago- uniformed command line handling of matitamake with that of other matita tools
Stefano Zacchiroli [Mon, 6 Feb 2006 17:19:28 +0000 (17:19 +0000)]
- 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

18 years agohelp path is no longer hard coded but relative to runtime base dir
Stefano Zacchiroli [Mon, 6 Feb 2006 17:17:10 +0000 (17:17 +0000)]
help path is no longer hard coded but relative to runtime base dir

18 years agofixed tactic ids to include a "tac_" prefix
Stefano Zacchiroli [Mon, 6 Feb 2006 17:16:40 +0000 (17:16 +0000)]
fixed tactic ids to include a "tac_" prefix

18 years ago- bugfix: pass -conffile to matitamake
Stefano Zacchiroli [Mon, 6 Feb 2006 17:15:30 +0000 (17:15 +0000)]
- bugfix: pass -conffile to matitamake
- more quiet feedback during compilation of stdlib

18 years agoBasic facts about group morphisms.
Claudio Sacerdoti Coen [Mon, 6 Feb 2006 14:00:18 +0000 (14:00 +0000)]
Basic facts about group morphisms.

18 years agomoved mathql/ under software/
Stefano Zacchiroli [Mon, 6 Feb 2006 11:33:01 +0000 (11:33 +0000)]
moved mathql/ under software/

18 years agofirst sketch of the documentation (to be used by yelp)
Claudio Sacerdoti Coen [Mon, 6 Feb 2006 11:22:27 +0000 (11:22 +0000)]
first sketch of the documentation (to be used by yelp)

18 years agos/ocaml/components/ in the "tag" target
Stefano Zacchiroli [Mon, 6 Feb 2006 11:18:22 +0000 (11:18 +0000)]
s/ocaml/components/ in the "tag" target

18 years ago* groups splitted into groups and finite_groups
Claudio Sacerdoti Coen [Mon, 6 Feb 2006 10:34:27 +0000 (10:34 +0000)]
* groups splitted into groups and finite_groups
* a few lemmas added to groups

18 years agoremoved a Pcre capture that being _NON TAIL RECURSIVE_ used to cause stack_overflow...
Claudio Sacerdoti Coen [Mon, 6 Feb 2006 10:28:11 +0000 (10:28 +0000)]
removed a Pcre capture that being _NON TAIL RECURSIVE_ used to cause stack_overflow... mah...

18 years agotermine bacato.
Andrea Asperti [Mon, 6 Feb 2006 09:58:37 +0000 (09:58 +0000)]
termine bacato.

18 years agofixed usage of matita.auto_disambiguation
Andrea Asperti [Mon, 6 Feb 2006 09:40:31 +0000 (09:40 +0000)]
fixed usage of matita.auto_disambiguation

18 years agoBug?
Andrea Asperti [Mon, 6 Feb 2006 08:16:41 +0000 (08:16 +0000)]
Bug?

18 years agoFirst proof on groups completed!
Claudio Sacerdoti Coen [Fri, 3 Feb 2006 17:56:17 +0000 (17:56 +0000)]
First proof on groups completed!

18 years agoon the fly generation of distribution configure.ac
Stefano Zacchiroli [Fri, 3 Feb 2006 17:33:46 +0000 (17:33 +0000)]
on the fly generation of distribution configure.ac

18 years agoported to the new svn architecture
Stefano Zacchiroli [Fri, 3 Feb 2006 15:45:12 +0000 (15:45 +0000)]
ported to the new svn architecture

18 years ago- no longer need to dynamically discover if the components dir is libs/ or
Stefano Zacchiroli [Fri, 3 Feb 2006 15:44:40 +0000 (15:44 +0000)]
- 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`,
  ...)

18 years agomoved (dummy) dist stuff into software/matita/
Stefano Zacchiroli [Fri, 3 Feb 2006 15:36:53 +0000 (15:36 +0000)]
moved (dummy) dist stuff into software/matita/

18 years agomoved toplevel makefile to sfotware/
Stefano Zacchiroli [Fri, 3 Feb 2006 15:35:54 +0000 (15:35 +0000)]
moved toplevel makefile to sfotware/

18 years ago- renamed ocaml/ to components/
Stefano Zacchiroli [Fri, 3 Feb 2006 15:32:38 +0000 (15:32 +0000)]
- renamed ocaml/ to components/
- moved components/ and matita/ below software/

18 years agoreorganization continues ...
Stefano Zacchiroli [Thu, 2 Feb 2006 18:57:10 +0000 (18:57 +0000)]
reorganization continues ...

18 years ago(dis)organized web stuff
Stefano Zacchiroli [Thu, 2 Feb 2006 18:49:29 +0000 (18:49 +0000)]
(dis)organized web stuff

18 years agodaemons tamed
Stefano Zacchiroli [Thu, 2 Feb 2006 18:42:41 +0000 (18:42 +0000)]
daemons tamed