]> matita.cs.unibo.it Git - helm.git/log
helm.git
23 years agoprocessorURL must now already end with a /
Claudio Sacerdoti Coen [Wed, 7 Mar 2001 17:06:39 +0000 (17:06 +0000)]
processorURL must now already end with a /

23 years agoNow the on-line interface can use a Getter and an UWOBO on any machine
Claudio Sacerdoti Coen [Wed, 7 Mar 2001 17:02:42 +0000 (17:02 +0000)]
Now the on-line interface can use a Getter and an UWOBO on any machine

23 years agoBug fixed: now propagates informations about inner-types usage and
Claudio Sacerdoti Coen [Wed, 7 Mar 2001 11:05:20 +0000 (11:05 +0000)]
Bug fixed: now propagates informations about inner-types usage and
natural language when following hyperlinks.

WARNING: to create an hyperlink, it is no more enough to concatenate
 $header and the URI. You need to call the new makeURL() named-template.

23 years ago*** empty log message ***
Andrea Asperti [Wed, 7 Mar 2001 08:40:27 +0000 (08:40 +0000)]
*** empty log message ***

23 years agogetter flags considered
Claudio Sacerdoti Coen [Tue, 6 Mar 2001 18:47:08 +0000 (18:47 +0000)]
getter flags considered

23 years agoAdded ordering in ann and types flags
Stefano Zacchiroli [Tue, 6 Mar 2001 17:12:25 +0000 (17:12 +0000)]
Added ordering in ann and types flags

23 years agolibrary3 ==> javascript
Claudio Sacerdoti Coen [Tue, 6 Mar 2001 16:10:16 +0000 (16:10 +0000)]
library3 ==> javascript

23 years agoNew on-line interface
Claudio Sacerdoti Coen [Tue, 6 Mar 2001 16:06:36 +0000 (16:06 +0000)]
New on-line interface

23 years agoNew online interface
Claudio Sacerdoti Coen [Tue, 6 Mar 2001 16:05:57 +0000 (16:05 +0000)]
New online interface

23 years agoThe .types files are now read directly by the stylesheets.
Claudio Sacerdoti Coen [Tue, 6 Mar 2001 16:00:32 +0000 (16:00 +0000)]
The .types files are now read directly by the stylesheets.
Two new params added: naturalLanguage and CICURI

23 years agoNow uses the param keys
Claudio Sacerdoti Coen [Tue, 6 Mar 2001 15:01:43 +0000 (15:01 +0000)]
Now uses the param keys

23 years agonew version of ls,
Stefano Zacchiroli [Mon, 5 Mar 2001 21:15:47 +0000 (21:15 +0000)]
new version of ls,
now meet the specifications ?????

23 years agoadded eq_ind
Andrea Asperti [Mon, 5 Mar 2001 12:30:52 +0000 (12:30 +0000)]
added eq_ind

23 years agoFixed a bug in CGI creation, method "update" now work ! :)
Stefano Zacchiroli [Mon, 5 Mar 2001 10:31:12 +0000 (10:31 +0000)]
Fixed a bug in CGI creation, method "update" now work ! :)

23 years agopatch for libxml2 new release
Luca Padovani [Thu, 1 Mar 2001 12:38:29 +0000 (12:38 +0000)]
patch for libxml2 new release

23 years agoWebEQ definitely no more used
Claudio Sacerdoti Coen [Thu, 1 Mar 2001 11:27:14 +0000 (11:27 +0000)]
WebEQ definitely no more used

23 years agoChanged syntax for 'ls' method:
Stefano Zacchiroli [Thu, 22 Feb 2001 14:21:44 +0000 (14:21 +0000)]
Changed syntax for 'ls' method:
  wget http....localhost:8081/ls?baseuri=<uri>&format=[txt|xml]
Now is possibile to:
 - use ls for 'cic:' uris
 - use ls for 'theory:' uris
 - coming soon support for 'any' uris
Now getter use CGI module, added this dep. to configure.in

23 years agocommented processing instructions for Cocoon, we do not use it any more
Luca Padovani [Thu, 22 Feb 2001 09:52:05 +0000 (09:52 +0000)]
commented processing instructions for Cocoon, we do not use it any more

23 years agonow do unescaping of incoming URI
Luca Padovani [Wed, 21 Feb 2001 18:24:10 +0000 (18:24 +0000)]
now do unescaping of incoming URI

23 years agoadded the patch on-the-fly for DTDs, fixed the script for launching the getter at...
Luca Padovani [Wed, 21 Feb 2001 15:11:23 +0000 (15:11 +0000)]
added the patch on-the-fly for DTDs, fixed the script for launching the getter at boot time

23 years agoNew stylesheets from content to html.
Andrea Asperti [Tue, 20 Feb 2001 10:30:36 +0000 (10:30 +0000)]
New stylesheets from content to html.

-- andrea

23 years agoAdded 'ls' method: return a list of uri that begin with a given uri.
Stefano Zacchiroli [Sat, 17 Feb 2001 23:02:10 +0000 (23:02 +0000)]
Added 'ls' method: return a list of uri that begin with a given uri.
Response may be in CR-separated line or in a simple XML document.

23 years agohelm_wget subroutine now use LWP module and doesn't use any more external
Stefano Zacchiroli [Sat, 17 Feb 2001 21:03:06 +0000 (21:03 +0000)]
helm_wget subroutine now use LWP module and doesn't use any more external
wget program

23 years ago*** empty log message ***
Luca Padovani [Thu, 15 Feb 2001 12:27:28 +0000 (12:27 +0000)]
*** empty log message ***

23 years ago*** empty log message ***
Luca Padovani [Thu, 15 Feb 2001 12:24:27 +0000 (12:24 +0000)]
*** empty log message ***

23 years ago*** empty log message ***
Luca Padovani [Thu, 15 Feb 2001 12:24:10 +0000 (12:24 +0000)]
*** empty log message ***

23 years agoa bug in the .spec.in :-))))
Luca Padovani [Thu, 15 Feb 2001 12:23:44 +0000 (12:23 +0000)]
a bug in the .spec.in :-))))

23 years agonew version to upgrade to libxml 2.3.0
Luca Padovani [Thu, 15 Feb 2001 12:21:40 +0000 (12:21 +0000)]
new version to upgrade to libxml 2.3.0

23 years agoadded support for application-time parameters
Luca Padovani [Tue, 13 Feb 2001 13:47:41 +0000 (13:47 +0000)]
added support for application-time parameters

23 years agosome improvement for parameters, configuration
Luca Padovani [Tue, 13 Feb 2001 13:46:34 +0000 (13:46 +0000)]
some improvement for parameters, configuration

23 years agotmpdir ==> tmp_dir, minor fixes waiting for the stable version
Luca Padovani [Tue, 13 Feb 2001 12:11:48 +0000 (12:11 +0000)]
tmpdir ==> tmp_dir, minor fixes waiting for the stable version

23 years agoRemoved rebuilding of urls_of_uris.db on update user request.
Stefano Zacchiroli [Mon, 12 Feb 2001 21:29:36 +0000 (21:29 +0000)]
Removed rebuilding of urls_of_uris.db on update user request.
This feature now is handled by http_getter.
Also modified file 'http_getter.pl.in' from module 'http_getter'.

23 years agomodified "update" request handling, now getter rebuild urls_of_uris.db.
Stefano Zacchiroli [Mon, 12 Feb 2001 21:28:23 +0000 (21:28 +0000)]
modified "update" request handling, now getter rebuild urls_of_uris.db.
(feature moved from mmlinterface to http_getter)
Also modified file 'getter.ml' from module 'interface'

23 years agoadded encoding
Luca Padovani [Mon, 12 Feb 2001 12:34:11 +0000 (12:34 +0000)]
added encoding

23 years agoversion information
Luca Padovani [Mon, 12 Feb 2001 11:52:29 +0000 (11:52 +0000)]
version information

23 years agoadded comment about missing checks
Luca Padovani [Mon, 12 Feb 2001 08:28:26 +0000 (08:28 +0000)]
added comment about missing checks

23 years agoxsltProcessorHTTP.ml : no temp file created,
Luca Padovani [Fri, 9 Feb 2001 11:36:17 +0000 (11:36 +0000)]
xsltProcessorHTTP.ml : no temp file created,
the problem was due to a libxml bug fixed in version 2.2.9, upgrade!

23 years agoconfig/style-configuration.xml : a little mistake in the default configuration
Luca Padovani [Thu, 8 Feb 2001 11:15:25 +0000 (11:15 +0000)]
config/style-configuration.xml : a little mistake in the default configuration

23 years agoadded htlm_cvs_interface.spec
Luca Padovani [Thu, 8 Feb 2001 11:06:53 +0000 (11:06 +0000)]
added htlm_cvs_interface.spec

23 years agoA lot of changes to support the new UWOBO stylesheet processor:
Luca Padovani [Thu, 8 Feb 2001 11:06:19 +0000 (11:06 +0000)]
A lot of changes to support the new UWOBO stylesheet processor:

Modified Files:

Makefile.in : of course, some new source files
configuration.ml.in : better support for configuration variables and overriding
getter.ml : now it is just a wrapper for clientHTTP, still needs some serious
rearrangement
getter.mli : the interface changed a little bit
mmlinterface.ml : call for the initialization of the processor
pxpUriResolver.ml : the resolver is now more reliable
styleConfiguration.ml : retrieve and parse stylesheet configuration
xsltProcessor.ml : it is now a simple wrapper for xsltProcessorHTTP

Added Files:
clientHTTP.ml : a simple client HTTP (a minimal wrapper for netclient)
xsltProcessorHTTP.ml : send HTTP requests to the processor
xsltProcessorUDP.ml : just in case we want to implement both
methods for invoking the processor

23 years agostyles_dir is now style_dir
Luca Padovani [Thu, 8 Feb 2001 10:35:15 +0000 (10:35 +0000)]
styles_dir is now style_dir
the getter now recognize one further command, getstyleconf, to retrieve
the stylesheet configuration file (and possibly its dtd)

23 years agoadded style_dir in configuration file
Luca Padovani [Thu, 8 Feb 2001 10:05:20 +0000 (10:05 +0000)]
added style_dir in configuration file
tmpdir is now tmp_dir

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