]> matita.cs.unibo.it Git - helm.git/log
helm.git
18 years agotentative fix
Enrico Tassi [Tue, 14 Feb 2006 15:36:10 +0000 (15:36 +0000)]
tentative fix

18 years agoreverted orrible but correct syntax
Enrico Tassi [Tue, 14 Feb 2006 12:40:49 +0000 (12:40 +0000)]
reverted orrible but correct syntax

18 years agofixed syntax
Enrico Tassi [Tue, 14 Feb 2006 12:18:44 +0000 (12:18 +0000)]
fixed syntax

18 years agoRecapitalization of sect_tactics.xml
Claudio Sacerdoti Coen [Thu, 9 Feb 2006 16:49:02 +0000 (16:49 +0000)]
Recapitalization of sect_tactics.xml

18 years agoSome fixes in the documentation of the tactics.
Claudio Sacerdoti Coen [Thu, 9 Feb 2006 16:30:20 +0000 (16:30 +0000)]
Some fixes in the documentation of the tactics.

18 years agoA few intros_spec were missing here and there.
Claudio Sacerdoti Coen [Thu, 9 Feb 2006 16:27:50 +0000 (16:27 +0000)]
A few intros_spec were missing here and there.

18 years agoTypo fixed.
Claudio Sacerdoti Coen [Thu, 9 Feb 2006 16:16:18 +0000 (16:16 +0000)]
Typo fixed.

18 years agoMost of the tactics are now documented.
Claudio Sacerdoti Coen [Thu, 9 Feb 2006 16:14:18 +0000 (16:14 +0000)]
Most of the tactics are now documented.

18 years agocompleted installation instructions
Stefano Zacchiroli [Thu, 9 Feb 2006 00:19:56 +0000 (00:19 +0000)]
completed installation instructions

18 years agoEven more tactics documented.
Claudio Sacerdoti Coen [Wed, 8 Feb 2006 17:55:19 +0000 (17:55 +0000)]
Even more tactics documented.

18 years agoNew tactics (badly) documented.
Claudio Sacerdoti Coen [Wed, 8 Feb 2006 17:43:11 +0000 (17:43 +0000)]
New tactics (badly) documented.

18 years agoimplemented "install" target
Stefano Zacchiroli [Wed, 8 Feb 2006 17:15:07 +0000 (17:15 +0000)]
implemented "install" target

18 years agobuild temporary library in software/matita/.matita (instead of software/.matita)
Stefano Zacchiroli [Wed, 8 Feb 2006 17:14:49 +0000 (17:14 +0000)]
build temporary library in software/matita/.matita (instead of software/.matita)

18 years agoremoved duplicate copy of AUTHORS
Stefano Zacchiroli [Wed, 8 Feb 2006 17:14:19 +0000 (17:14 +0000)]
removed duplicate copy of AUTHORS

18 years agoinstall in /usr/local/matita/
Stefano Zacchiroli [Wed, 8 Feb 2006 17:14:06 +0000 (17:14 +0000)]
install in /usr/local/matita/

18 years agoexpand SRCROOT (is needed by matita/Makefile)
Stefano Zacchiroli [Wed, 8 Feb 2006 17:12:47 +0000 (17:12 +0000)]
expand SRCROOT (is needed by matita/Makefile)

18 years agobumped year
Stefano Zacchiroli [Wed, 8 Feb 2006 17:12:22 +0000 (17:12 +0000)]
bumped year

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 agoadded dir for released matita tarballs
Stefano Zacchiroli [Tue, 7 Feb 2006 15:04:52 +0000 (15:04 +0000)]
added dir for released matita tarballs

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 agoadded last-modified info at the bottom of every page
Stefano Zacchiroli [Mon, 6 Feb 2006 18:22:42 +0000 (18:22 +0000)]
added last-modified info at the bottom of every page

18 years ago- escaped "&" in URLs so that all pages are now XHTML 1.0 Strict valid
Stefano Zacchiroli [Mon, 6 Feb 2006 18:08:54 +0000 (18:08 +0000)]
- escaped "&" in URLs so that all pages are now XHTML 1.0 Strict valid
- expanded a bit the "nothing to see here" concept in the matita web pages

18 years agoremoved papers dir, now all papers are in the new "papers" repository
Stefano Zacchiroli [Mon, 6 Feb 2006 17:39:27 +0000 (17:39 +0000)]
removed papers dir, now all papers are in the new "papers" repository

18 years agoremoved papers that have been moved to the new "papers" repository
Stefano Zacchiroli [Mon, 6 Feb 2006 17:35:52 +0000 (17:35 +0000)]
removed papers that have been moved to the new "papers" repository

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 agofixed download links and added underlined hyperlinks
Stefano Zacchiroli [Fri, 3 Feb 2006 17:39:06 +0000 (17:39 +0000)]
fixed download links and added underlined hyperlinks

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 agoadded bg
Enrico Tassi [Fri, 3 Feb 2006 17:29:42 +0000 (17:29 +0000)]
added bg

18 years agofix
Enrico Tassi [Fri, 3 Feb 2006 16:30:53 +0000 (16:30 +0000)]
fix

18 years agoremoved no longer needed libs link
Stefano Zacchiroli [Fri, 3 Feb 2006 16:15:32 +0000 (16:15 +0000)]
removed no longer needed libs link

18 years agoAdded abstract.
Andrea Asperti [Fri, 3 Feb 2006 15:58:18 +0000 (15:58 +0000)]
Added abstract.

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 agoremoved no longer used METAs
Stefano Zacchiroli [Fri, 3 Feb 2006 15:22:21 +0000 (15:22 +0000)]
removed no longer used METAs

18 years agodo not delete Makefile and Makefile.common on distclean since they are no
Stefano Zacchiroli [Fri, 3 Feb 2006 15:19:37 +0000 (15:19 +0000)]
do not delete Makefile and Makefile.common on distclean since they are no
longer generated at configure time

18 years agomade "dtd_dir" optional, is needed only by the web server, not by matita
Stefano Zacchiroli [Fri, 3 Feb 2006 15:15:33 +0000 (15:15 +0000)]
made "dtd_dir" optional, is needed only by the web server, not by matita

18 years agoadded build time configuration of the whole components/ dir
Stefano Zacchiroli [Fri, 3 Feb 2006 15:14:49 +0000 (15:14 +0000)]
added build time configuration of the whole components/ dir

18 years agobugfix: mkdir now works also for realtive directories
Stefano Zacchiroli [Fri, 3 Feb 2006 15:14:27 +0000 (15:14 +0000)]
bugfix: mkdir now works also for realtive directories

18 years agorelease snapshot
Stefano Zacchiroli [Fri, 3 Feb 2006 15:13:40 +0000 (15:13 +0000)]
release snapshot
- split of multiple matita conffiles (users vs developers)
- removed no longer needed keys in conffiles
- commented conffiles entries
- made matitaInit.ml more like other matita tools (still a lot to do ...)
- save .xml debugging files only if debug is enabled
- ...

18 years agorelease snapshot
Stefano Zacchiroli [Fri, 3 Feb 2006 15:12:29 +0000 (15:12 +0000)]
release snapshot

18 years agosnapshot
Andrea Asperti [Fri, 3 Feb 2006 15:08:45 +0000 (15:08 +0000)]
snapshot

18 years agoModified lambda and explicit substitutions.
Andrea Asperti [Fri, 3 Feb 2006 15:08:24 +0000 (15:08 +0000)]
Modified lambda and explicit substitutions.

18 years agocosmetic fix
Stefano Zacchiroli [Fri, 3 Feb 2006 12:21:32 +0000 (12:21 +0000)]
cosmetic fix

18 years agoadded DBHOST & co ...
Stefano Zacchiroli [Fri, 3 Feb 2006 11:07:14 +0000 (11:07 +0000)]
added DBHOST & co ...

18 years agodefault of auto_disambiguation set to true
Stefano Zacchiroli [Fri, 3 Feb 2006 10:07:38 +0000 (10:07 +0000)]
default of auto_disambiguation set to true

18 years agosvn:ignore updated
Claudio Sacerdoti Coen [Fri, 3 Feb 2006 09:57:01 +0000 (09:57 +0000)]
svn:ignore updated

18 years ago- moved images in images/
Stefano Zacchiroli [Thu, 2 Feb 2006 23:02:58 +0000 (23:02 +0000)]
- moved images in images/
- now all pages are valid xhtml 1.0 strict

18 years agouse server-side include
Stefano Zacchiroli [Thu, 2 Feb 2006 22:50:31 +0000 (22:50 +0000)]
use server-side include

18 years agoadded images and links for validation
Stefano Zacchiroli [Thu, 2 Feb 2006 22:30:27 +0000 (22:30 +0000)]
added images and links for validation

18 years agofix
Enrico Tassi [Thu, 2 Feb 2006 22:24:00 +0000 (22:24 +0000)]
fix

18 years agofix
Enrico Tassi [Thu, 2 Feb 2006 21:50:22 +0000 (21:50 +0000)]
fix

18 years agofix
Enrico Tassi [Thu, 2 Feb 2006 21:41:22 +0000 (21:41 +0000)]
fix

18 years agoa further step toward releasable Makefile
Stefano Zacchiroli [Thu, 2 Feb 2006 19:01:23 +0000 (19:01 +0000)]
a further step toward releasable Makefile

18 years agoSome more work...
Claudio Sacerdoti Coen [Thu, 2 Feb 2006 19:00:34 +0000 (19:00 +0000)]
Some more work...