]> matita.cs.unibo.it Git - helm.git/log
helm.git
23 years agoNew version of proof.xsl
Andrea Asperti [Wed, 7 Feb 2001 16:15:46 +0000 (16:15 +0000)]
New version of proof.xsl
Main modif:
- removed "thread" mode
- proof management (let-in) moved from content.xsl to proofs.xsl

23 years agosupport for dynamic retrieval of style configuration file
Luca Padovani [Tue, 6 Feb 2001 18:02:11 +0000 (18:02 +0000)]
support for dynamic retrieval of style configuration file

23 years agoSupport for automatic stylesheet configuration retrieval started
Luca Padovani [Tue, 6 Feb 2001 16:06:55 +0000 (16:06 +0000)]
Support for automatic stylesheet configuration retrieval started

23 years agoInitial revision
Luca Padovani [Tue, 6 Feb 2001 16:02:48 +0000 (16:02 +0000)]
Initial revision

23 years agoadded processor_url to configuration file
Luca Padovani [Tue, 6 Feb 2001 16:00:42 +0000 (16:00 +0000)]
added processor_url to configuration file

23 years agoNo more used and soon no more working due to changes to the http_getter
Claudio Sacerdoti Coen [Tue, 6 Feb 2001 12:26:06 +0000 (12:26 +0000)]
No more used and soon no more working due to changes to the http_getter

23 years agoModified Files:
Irene Schena [Tue, 6 Feb 2001 12:20:16 +0000 (12:20 +0000)]
Modified Files:
1) basic.xsl, content.xsl, content_to_html.xsl, html_init.xsl,
html_reals.xsl, html_set.xsl, proofs.xsl, reals.xsl, ricerca.xsl,
set.xsl: removed variable declaration of absPath
2) theory_content.xsl: added comments
2) rootcontent.xsl: inserted variable declaration of absPath
3) mmlextension.xsl: added parenthesis to the first arrow

23 years agobug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR
Luca Padovani [Tue, 6 Feb 2001 11:02:04 +0000 (11:02 +0000)]
bug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR

23 years agoDynamic patch to transform the URL returned by $d->url in the
Claudio Sacerdoti Coen [Mon, 5 Feb 2001 17:58:23 +0000 (17:58 +0000)]
Dynamic patch to transform the URL returned by $d->url in the
complete one. The patch involves calling gethostbyname().
I don't know better solutions

23 years agoDone for URLs for DTDs the same thing previously done for stylesheets
Claudio Sacerdoti Coen [Mon, 5 Feb 2001 17:45:32 +0000 (17:45 +0000)]
Done for URLs for DTDs the same thing previously done for stylesheets

23 years agoRelative URL now used again
Claudio Sacerdoti Coen [Mon, 5 Feb 2001 17:44:43 +0000 (17:44 +0000)]
Relative URL now used again

23 years agoModified Files:
Irene Schena [Mon, 5 Feb 2001 16:53:24 +0000 (16:53 +0000)]
Modified Files:
1) mmlextension.xsl: added associativity (by means of parenthesis) to
the arrow
2) objcontent.xsl: no more mode="noannot" into apply-templates of the
abstparams template

23 years agoWhen downloading stylesheets, substitutes all relative URLs with
Claudio Sacerdoti Coen [Mon, 5 Feb 2001 16:41:01 +0000 (16:41 +0000)]
When downloading stylesheets, substitutes all relative URLs with
absolute URLs through a very bad heuristic (regular expression)

23 years agoReindented some parts
Stefano Zacchiroli [Sat, 3 Feb 2001 10:34:17 +0000 (10:34 +0000)]
Reindented some parts

23 years agoHELM_DTD_DIR now also used
Claudio Sacerdoti Coen [Fri, 2 Feb 2001 16:43:56 +0000 (16:43 +0000)]
HELM_DTD_DIR now also used

23 years agogetxslt added
Claudio Sacerdoti Coen [Fri, 2 Feb 2001 16:12:06 +0000 (16:12 +0000)]
getxslt added

23 years ago*** empty log message ***
Luca Padovani [Fri, 2 Feb 2001 10:57:32 +0000 (10:57 +0000)]
*** empty log message ***

23 years ago*** empty log message ***
Luca Padovani [Fri, 2 Feb 2001 10:54:43 +0000 (10:54 +0000)]
*** empty log message ***

23 years ago*** empty log message ***
Luca Padovani [Fri, 2 Feb 2001 10:48:04 +0000 (10:48 +0000)]
*** empty log message ***

23 years ago*** empty log message ***
Luca Padovani [Fri, 2 Feb 2001 10:45:12 +0000 (10:45 +0000)]
*** empty log message ***

23 years ago*** empty log message ***
Luca Padovani [Fri, 2 Feb 2001 10:38:03 +0000 (10:38 +0000)]
*** empty log message ***

23 years ago*** empty log message ***
Luca Padovani [Fri, 2 Feb 2001 10:28:59 +0000 (10:28 +0000)]
*** empty log message ***

23 years ago*** empty log message ***
Luca Padovani [Fri, 2 Feb 2001 10:05:57 +0000 (10:05 +0000)]
*** empty log message ***

23 years ago*** empty log message ***
Luca Padovani [Fri, 2 Feb 2001 10:01:01 +0000 (10:01 +0000)]
*** empty log message ***

23 years agohelm_http_getter.spec added
Claudio Sacerdoti Coen [Thu, 1 Feb 2001 17:00:10 +0000 (17:00 +0000)]
helm_http_getter.spec added

23 years agommlextension.xsl : removed extra '>' at the end of an element
Luca Padovani [Wed, 31 Jan 2001 14:18:11 +0000 (14:18 +0000)]
mmlextension.xsl : removed extra '>' at the end of an element

23 years agoAdded control on some "open" call (with 'or die ...')
Stefano Zacchiroli [Wed, 31 Jan 2001 10:57:52 +0000 (10:57 +0000)]
Added control on some "open" call (with 'or die ...')

23 years agoremoved debugging printf
Luca Padovani [Tue, 30 Jan 2001 14:40:44 +0000 (14:40 +0000)]
removed debugging printf

23 years agoxsltProcessor.ml : patched to work with UWOBO
Luca Padovani [Tue, 30 Jan 2001 14:39:03 +0000 (14:39 +0000)]
xsltProcessor.ml : patched to work with UWOBO

23 years agoAdded mixed cache support through HTTP_GETTER_CACHE_MODE environment variable
Stefano Zacchiroli [Tue, 30 Jan 2001 09:59:38 +0000 (09:59 +0000)]
Added mixed cache support through HTTP_GETTER_CACHE_MODE environment variable

23 years agoadded support for compressed files
Luca Padovani [Tue, 30 Jan 2001 09:18:06 +0000 (09:18 +0000)]
added support for compressed files

23 years agoconfiguration improvements
Luca Padovani [Mon, 29 Jan 2001 12:33:18 +0000 (12:33 +0000)]
configuration improvements

23 years agosome improvements
Luca Padovani [Mon, 29 Jan 2001 12:28:41 +0000 (12:28 +0000)]
some improvements

23 years ago*** empty log message ***
Luca Padovani [Mon, 29 Jan 2001 12:28:06 +0000 (12:28 +0000)]
*** empty log message ***

23 years agosome adjustments to include files
Luca Padovani [Mon, 29 Jan 2001 12:23:32 +0000 (12:23 +0000)]
some adjustments to include files

23 years agolast update was a fake update!!!
Luca Padovani [Mon, 29 Jan 2001 11:40:55 +0000 (11:40 +0000)]
last update was a fake update!!!

23 years agoModified Files:
Irene Schena [Fri, 26 Jan 2001 14:10:50 +0000 (14:10 +0000)]
Modified Files:
1) mmlextension.xsl: <m:mo helm:xref="m:in/@helm:xref"> lacks {} !
2) reals.xsl: added definitionURL and helm:xref to the limit (limit1_in)
and moved helm:xref into <m:minus> of Rinv.con

23 years agoex_ind treated similarly to exT_ind.
Andrea Asperti [Thu, 25 Jan 2001 15:06:33 +0000 (15:06 +0000)]
ex_ind treated similarly to exT_ind.

23 years agoExT_ind implemented.
Andrea Asperti [Thu, 25 Jan 2001 11:17:25 +0000 (11:17 +0000)]
ExT_ind implemented.
The corresponding content element is the csymbol ext_ind.

23 years agoadded rm *.spec in Makefile.in
Luca Padovani [Thu, 25 Jan 2001 11:14:10 +0000 (11:14 +0000)]
added rm *.spec in Makefile.in

23 years agoconfiguration script improved
Luca Padovani [Thu, 25 Jan 2001 11:13:22 +0000 (11:13 +0000)]
configuration script improved

23 years agoupdated the binding so that it works well with lablgtk-1.00,
Luca Padovani [Thu, 25 Jan 2001 11:12:56 +0000 (11:12 +0000)]
updated the binding so that it works well with lablgtk-1.00,
configuration script improved

23 years agoAdded debian dir for debian packaging
Stefano Zacchiroli [Wed, 24 Jan 2001 10:04:53 +0000 (10:04 +0000)]
Added debian dir for debian packaging

23 years ago- Bug due to overloading of csymbol letin fixed.
Andrea Asperti [Tue, 23 Jan 2001 12:59:57 +0000 (12:59 +0000)]
- Bug due to overloading of csymbol letin fixed.
Now we have both let_in (for CIC LETIN) and letin (generated
by proof transformation).

- Bug of apply_ind fixed. If the proof of A->B->C is not of
the form \x.\y.M, than no special treatment is done.

23 years agopatched configure.in for Debian (different location of mlvalues.h)
Luca Padovani [Mon, 22 Jan 2001 10:00:38 +0000 (10:00 +0000)]
patched configure.in for Debian (different location of mlvalues.h)

23 years agoRemoved Files:
Luca Padovani [Mon, 22 Jan 2001 09:13:19 +0000 (09:13 +0000)]
Removed Files:
  libminidom.la minidom.lo

23 years agoRemoved Files:
Luca Padovani [Mon, 22 Jan 2001 09:11:18 +0000 (09:11 +0000)]
Removed Files:
  Makefile.in aclocal.m4 configure install-sh minidom-config
  missing mkinstalldirs

23 years agoconfigure.in : check for perl
Luca Padovani [Fri, 19 Jan 2001 16:15:44 +0000 (16:15 +0000)]
configure.in : check for perl
getter.ml mmlinterface.ml : patch for compressed files

23 years ago*** empty log message ***
Luca Padovani [Fri, 19 Jan 2001 11:40:39 +0000 (11:40 +0000)]
*** empty log message ***

23 years ago0.0.2
Luca Padovani [Fri, 19 Jan 2001 11:11:00 +0000 (11:11 +0000)]
0.0.2

23 years ago*** empty log message ***
Luca Padovani [Fri, 19 Jan 2001 11:04:22 +0000 (11:04 +0000)]
*** empty log message ***

23 years agomissed conflict resolved, merge
Luca Padovani [Fri, 19 Jan 2001 10:29:11 +0000 (10:29 +0000)]
missed conflict resolved, merge

23 years agoAdded Files:
Luca Padovani [Thu, 18 Jan 2001 13:55:34 +0000 (13:55 +0000)]
Added Files:
helm-config.in

23 years agoAdded perl modules check
Stefano Zacchiroli [Thu, 18 Jan 2001 13:34:32 +0000 (13:34 +0000)]
Added perl modules check

23 years agoimproved autoconfiguration
Luca Padovani [Wed, 17 Jan 2001 18:17:10 +0000 (18:17 +0000)]
improved autoconfiguration

23 years agoisterix?
Luca Padovani [Wed, 17 Jan 2001 18:05:44 +0000 (18:05 +0000)]
isterix?

23 years agoimproved autoconfiguration (well, maybe)
Luca Padovani [Wed, 17 Jan 2001 18:05:24 +0000 (18:05 +0000)]
improved autoconfiguration (well, maybe)

23 years agoimproved autoconfiguration and other small fixes, this module is about
Luca Padovani [Wed, 17 Jan 2001 18:05:00 +0000 (18:05 +0000)]
improved autoconfiguration and other small fixes, this module is about
to be dismissed

23 years agoautoconfiguration improved (well, maybe)
Luca Padovani [Wed, 17 Jan 2001 17:54:26 +0000 (17:54 +0000)]
autoconfiguration improved (well, maybe)

23 years agoautoconfiguration improved (?)
Luca Padovani [Wed, 17 Jan 2001 17:53:29 +0000 (17:53 +0000)]
autoconfiguration improved (?)

23 years agothe spec file is now autoconfigured
Luca Padovani [Wed, 17 Jan 2001 17:52:29 +0000 (17:52 +0000)]
the spec file is now autoconfigured

23 years agothe spec file is not autoconfigured
Luca Padovani [Wed, 17 Jan 2001 17:50:40 +0000 (17:50 +0000)]
the spec file is not autoconfigured

23 years agoModified Files:
Irene Schena [Wed, 17 Jan 2001 11:33:35 +0000 (11:33 +0000)]
Modified Files:
1) annotatedcont.xsl, objcontent.xsl, proofs.xsl, rootcontent.xsl: added LETIN
2) content.xsl, mmlextension.xsl: added LETIN and body to Variable,
changed color into mathcolor
3) content_to_html.xsl, html_init.xsl, html_reals.xsl, html_set.xsl:
changed color into mathcolor
4) reals.xsl: power instead of root

23 years agoModified Files:
Irene Schena [Wed, 17 Jan 2001 11:23:12 +0000 (11:23 +0000)]
Modified Files:
1) cicobject.dtd: added body? to Variable

23 years agoadded LICENSE files to be included in the HELM sources
Luca Padovani [Mon, 15 Jan 2001 15:19:46 +0000 (15:19 +0000)]
added LICENSE files to be included in the HELM sources

23 years agoLICENSE added
Luca Padovani [Mon, 15 Jan 2001 15:03:55 +0000 (15:03 +0000)]
LICENSE added

23 years agoAdded preliminary support for gzipped library
Stefano Zacchiroli [Mon, 15 Jan 2001 12:58:05 +0000 (12:58 +0000)]
Added preliminary support for gzipped library

23 years agoadded LICENSE
Luca Padovani [Mon, 15 Jan 2001 09:00:06 +0000 (09:00 +0000)]
added LICENSE

23 years agoadded LICENSE files
Luca Padovani [Mon, 15 Jan 2001 08:49:43 +0000 (08:49 +0000)]
added LICENSE files

23 years agoMakefile.in: improved support for autoconf
Luca Padovani [Wed, 10 Jan 2001 11:00:53 +0000 (11:00 +0000)]
Makefile.in: improved support for autoconf
configure.in: added checks for minidom, lablgtk, lablgtkmathview

23 years agoInitial revision
Luca Padovani [Wed, 10 Jan 2001 10:12:49 +0000 (10:12 +0000)]
Initial revision

23 years agoInitial revision
Luca Padovani [Wed, 10 Jan 2001 09:25:49 +0000 (09:25 +0000)]
Initial revision

23 years ago*** empty log message ***
Luca Padovani [Mon, 8 Jan 2001 11:11:17 +0000 (11:11 +0000)]
*** empty log message ***

23 years agoMIME-BASE64 => MIME-Base64
Claudio Sacerdoti Coen [Fri, 29 Dec 2000 14:32:28 +0000 (14:32 +0000)]
MIME-BASE64 => MIME-Base64

23 years agosyntax error
Claudio Sacerdoti Coen [Fri, 29 Dec 2000 14:21:28 +0000 (14:21 +0000)]
syntax error

23 years agoInitial revision
Claudio Sacerdoti Coen [Fri, 29 Dec 2000 14:11:06 +0000 (14:11 +0000)]
Initial revision

23 years agoSome Requires were missing; the same checks are still missing in configure.in
Claudio Sacerdoti Coen [Fri, 29 Dec 2000 12:46:29 +0000 (12:46 +0000)]
Some Requires were missing; the same checks are still missing in configure.in

23 years agoSome Requires were missing. Same checks still missing in configure.in
Claudio Sacerdoti Coen [Fri, 29 Dec 2000 12:23:57 +0000 (12:23 +0000)]
Some Requires were missing. Same checks still missing in configure.in

23 years agonow servers.txt and urls_or_uris.db are 666
Claudio Sacerdoti Coen [Fri, 29 Dec 2000 11:48:13 +0000 (11:48 +0000)]
now servers.txt and urls_or_uris.db are 666

23 years agohelm_wget is now executable
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 17:54:29 +0000 (17:54 +0000)]
helm_wget is now executable

23 years agomywget => helm_wget
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 17:53:54 +0000 (17:53 +0000)]
mywget => helm_wget

23 years agomywget renamed in helm_wget; autoconf used for helm_wget
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 17:52:54 +0000 (17:52 +0000)]
mywget renamed in helm_wget; autoconf used for helm_wget

23 years ago...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 17:36:01 +0000 (17:36 +0000)]
...

23 years ago...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 17:30:12 +0000 (17:30 +0000)]
...

23 years agoconfiguration.ml moved to configuration.ml.in to use autoconf
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 17:09:16 +0000 (17:09 +0000)]
configuration.ml moved to configuration.ml.in to use autoconf

23 years agoAutoconf now used
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:59:29 +0000 (16:59 +0000)]
Autoconf now used

23 years agoMakefile moved in Makefile.in to use autoconf
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:56:14 +0000 (16:56 +0000)]
Makefile moved in Makefile.in to use autoconf

23 years agoshared => share
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:45:08 +0000 (16:45 +0000)]
shared => share

23 years agosyntax error fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:41:13 +0000 (16:41 +0000)]
syntax error fixed

23 years agoRequires updated
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:38:07 +0000 (16:38 +0000)]
Requires updated

23 years ago...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:32:57 +0000 (16:32 +0000)]
...

23 years ago...
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:20:10 +0000 (16:20 +0000)]
...

23 years agofirst changes to make autoconf work
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 16:04:51 +0000 (16:04 +0000)]
first changes to make autoconf work

23 years agoautoconf now used
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:56:14 +0000 (15:56 +0000)]
autoconf now used

23 years agoMakefile moved in Makefile.old and start-xaland created.
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:52:45 +0000 (15:52 +0000)]
Makefile moved in Makefile.old and start-xaland created.
This in order to use autoconf.

23 years agosyntax error
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:28:47 +0000 (15:28 +0000)]
syntax error

23 years agobug fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:24:37 +0000 (15:24 +0000)]
bug fixed

23 years agosyntax error fixed
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:22:54 +0000 (15:22 +0000)]
syntax error fixed

23 years agohttp_getter.pl is now executable
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:20:40 +0000 (15:20 +0000)]
http_getter.pl is now executable

23 years agohttp_getter.pl is now created executable
Claudio Sacerdoti Coen [Thu, 28 Dec 2000 15:10:02 +0000 (15:10 +0000)]
http_getter.pl is now created executable