]>
matita.cs.unibo.it Git - helm.git/log
Stefano Zacchiroli [Mon, 19 Nov 2001 15:04:14 +0000 (15:04 +0000)]
Changed version number to 0.2.1
Claudio Sacerdoti Coen [Fri, 16 Nov 2001 17:23:25 +0000 (17:23 +0000)]
BUG FIXED:
An maction with only one child does not have the same semantic
of an mrow. E.g.: when I click to un-expand a node, the first enclosing
maction is the one I am acting on. If it has only one child, nothing
happens. So, if an maction with only one child is put inside an maction with
two children, the inner one stops any possibility to unexpand the outer one.
Claudio Sacerdoti Coen [Fri, 16 Nov 2001 16:04:38 +0000 (16:04 +0000)]
Checks for mlminidom and lablgtk added.
Claudio Sacerdoti Coen [Fri, 16 Nov 2001 14:56:04 +0000 (14:56 +0000)]
Some spourious files removed.
Claudio Sacerdoti Coen [Fri, 16 Nov 2001 14:27:36 +0000 (14:27 +0000)]
...
Claudio Sacerdoti Coen [Fri, 16 Nov 2001 14:26:34 +0000 (14:26 +0000)]
.cvsignore improved
Andrea Asperti [Fri, 16 Nov 2001 09:36:08 +0000 (09:36 +0000)]
Disequalities chains for algebra. First draft.
Claudio Sacerdoti Coen [Thu, 15 Nov 2001 12:37:05 +0000 (12:37 +0000)]
Distribution improvements.
Claudio Sacerdoti Coen [Thu, 15 Nov 2001 12:36:42 +0000 (12:36 +0000)]
Now automatically generated from Makefile.in
Claudio Sacerdoti Coen [Thu, 15 Nov 2001 12:33:55 +0000 (12:33 +0000)]
No more used.
Claudio Sacerdoti Coen [Thu, 15 Nov 2001 12:33:20 +0000 (12:33 +0000)]
First commit towards the 0.2.8 version.
Claudio Sacerdoti Coen [Wed, 14 Nov 2001 15:17:45 +0000 (15:17 +0000)]
Bug fixed
Claudio Sacerdoti Coen [Wed, 14 Nov 2001 15:02:01 +0000 (15:02 +0000)]
Bug fixed: $< confused with $^
Claudio Sacerdoti Coen [Wed, 14 Nov 2001 14:49:29 +0000 (14:49 +0000)]
missing macro
Claudio Sacerdoti Coen [Wed, 14 Nov 2001 14:29:54 +0000 (14:29 +0000)]
HTTP_GETTER_URIS_DBM added
Claudio Sacerdoti Coen [Wed, 14 Nov 2001 14:23:53 +0000 (14:23 +0000)]
HTTP_GETTER_SERVERS_FILE introduced
Stefano Zacchiroli [Wed, 14 Nov 2001 14:05:08 +0000 (14:05 +0000)]
Bug fix: changed "prefix" dir in install target.
Minor changes in debhelper usage.
Stefano Zacchiroli [Wed, 14 Nov 2001 14:04:21 +0000 (14:04 +0000)]
Changed policy standard version.
Stefano Zacchiroli [Wed, 14 Nov 2001 13:47:57 +0000 (13:47 +0000)]
Removed INSTALL (not needed) and NEWS (0 sized) from document list.
Stefano Zacchiroli [Wed, 14 Nov 2001 13:40:35 +0000 (13:40 +0000)]
Remove template like string that lintian hates.
Stefano Zacchiroli [Wed, 14 Nov 2001 13:39:55 +0000 (13:39 +0000)]
Set DH_COMPAT=2 (instead of 1).
Stefano Zacchiroli [Wed, 14 Nov 2001 13:39:38 +0000 (13:39 +0000)]
Set section field. Changed maintainer field.
Stefano Zacchiroli [Wed, 14 Nov 2001 13:38:49 +0000 (13:38 +0000)]
Changed maintainer field and set section field.
Stefano Zacchiroli [Wed, 14 Nov 2001 13:37:59 +0000 (13:37 +0000)]
Removed temp files from repository.
Claudio Sacerdoti Coen [Wed, 14 Nov 2001 12:11:34 +0000 (12:11 +0000)]
Small improvement.
Claudio Sacerdoti Coen [Wed, 14 Nov 2001 11:46:13 +0000 (11:46 +0000)]
Simplification.
Claudio Sacerdoti Coen [Tue, 13 Nov 2001 18:26:52 +0000 (18:26 +0000)]
0.0.2 ==> 0.2.0 ;-)
Claudio Sacerdoti Coen [Tue, 13 Nov 2001 18:15:25 +0000 (18:15 +0000)]
- Check for ocamlfind added.
- .cvsignore improved
Claudio Sacerdoti Coen [Tue, 13 Nov 2001 18:06:38 +0000 (18:06 +0000)]
Unused variable removed.
Claudio Sacerdoti Coen [Tue, 13 Nov 2001 18:02:19 +0000 (18:02 +0000)]
mlminidom 0.0.2 for minidom 0.1.3
Luca Padovani [Mon, 12 Nov 2001 15:44:43 +0000 (15:44 +0000)]
another small bug fixed about the pot
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 15:08:20 +0000 (15:08 +0000)]
Bug fixed.
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 15:06:17 +0000 (15:06 +0000)]
Required by the new getxslt method implementation.
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 15:05:45 +0000 (15:05 +0000)]
Required by the new xslt_index.txt implementation.
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 15:05:00 +0000 (15:05 +0000)]
Absolute URL to the Getter removed thanks to the new getxslt method
implementation.
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 15:03:51 +0000 (15:03 +0000)]
No more absolute URLs: the getxslt method of the Getter is now
used uniformly.
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 14:07:04 +0000 (14:07 +0000)]
Version number updated.
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 13:49:36 +0000 (13:49 +0000)]
Bug fixed. The bug used to lead to divergence in certain cases (e.g. limit_mul).
Stefano Zacchiroli [Mon, 12 Nov 2001 13:46:05 +0000 (13:46 +0000)]
- modified /getxslt method, now stylesheets are downloaded on the fly
and may be kept on various servers
- uncommented /getdtd method
- removed /getstyleconf method
- changed semantics of dbm variables, now ".db" suffix must be present
in environment variables that reference dbm files
Stefano Zacchiroli [Mon, 12 Nov 2001 13:41:43 +0000 (13:41 +0000)]
Added ".db" suffix to urls_of_uris default value.
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 11:07:33 +0000 (11:07 +0000)]
The stylesheet to create graphs are now applied to the result of
the new getempty method of the getter.
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 11:05:21 +0000 (11:05 +0000)]
Never really used. Functionality eventually replaced by the serialization.
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 10:28:09 +0000 (10:28 +0000)]
Better error handling when port is not available.
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 09:48:12 +0000 (09:48 +0000)]
Version 1.2.1beta => 1.2.1
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 09:37:39 +0000 (09:37 +0000)]
- Stylesheet exceptions now printed in red.
- Load of an already loaded stylesheet now ignored (was interpreted as
reloadin before).
- Version renumbered as 1.2.1beta.
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 09:22:27 +0000 (09:22 +0000)]
Code cleanup: more code sharing achieved.
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 09:04:20 +0000 (09:04 +0000)]
Bug fixed: xsl:import not first child of xsl:stylesheet.
Claudio Sacerdoti Coen [Mon, 12 Nov 2001 09:03:46 +0000 (09:03 +0000)]
Bug fixed: unbound variable.
Stefano Zacchiroli [Sun, 11 Nov 2001 14:09:35 +0000 (14:09 +0000)]
Added "/getempty" method.
----
Syntax: "/getempty".
Answer: a minimal valid XML document.
Currently, the returned document is as follows:
<?xml version="1.0"?>
<!DOCTYPE empty [
<!ELEMENT empty EMPTY>
]>
<empty />
----
Luca Padovani [Sat, 10 Nov 2001 19:17:47 +0000 (19:17 +0000)]
binary ignored
Luca Padovani [Sat, 10 Nov 2001 19:17:19 +0000 (19:17 +0000)]
.deps ignored
Luca Padovani [Sat, 10 Nov 2001 19:16:54 +0000 (19:16 +0000)]
- new handling of links
- no more conflict between links and actions (links have precedence)
- cursors now handled by helmpot
- fixed problem with pot cursor
Luca Padovani [Sat, 10 Nov 2001 19:15:55 +0000 (19:15 +0000)]
- added method to check for an attribute in a given namespace
Claudio Sacerdoti Coen [Fri, 9 Nov 2001 18:45:44 +0000 (18:45 +0000)]
Code improvement: more code shared.
Claudio Sacerdoti Coen [Fri, 9 Nov 2001 12:37:44 +0000 (12:37 +0000)]
Small bug fixed.
Claudio Sacerdoti Coen [Fri, 9 Nov 2001 10:00:19 +0000 (10:00 +0000)]
The body of the variables was not printed.
Claudio Sacerdoti Coen [Fri, 9 Nov 2001 09:49:44 +0000 (09:49 +0000)]
indent="yes" in xsl:output removed to impreve performance.
Claudio Sacerdoti Coen [Fri, 9 Nov 2001 09:31:33 +0000 (09:31 +0000)]
indent="yes" in xsl:output removed for performance increase.
Claudio Sacerdoti Coen [Thu, 8 Nov 2001 18:47:12 +0000 (18:47 +0000)]
The same patch I have applied in the previous commit to m:ci has been
applied to m:mn.
Claudio Sacerdoti Coen [Thu, 8 Nov 2001 18:07:59 +0000 (18:07 +0000)]
The patch of Irene to allow MathML presentation inside <m:ci>
was not correct. As a consequence (but there were worst ones)
hyperlinks were not created to sub-scripted identifiers.
I have changed the patch. Though, I am not sure it is the correct one.
In particular, what happens if I put content markup inside the m:ci?
(It was recursively processed in the original stylesheet)
Claudio Sacerdoti Coen [Thu, 8 Nov 2001 16:30:54 +0000 (16:30 +0000)]
Workaround replacement: instead of a litteral URL (path on disk), a litteral
request to the Getter on phd to resolve the URL.
The real problem (avoiding at all the thing) is still to be addressed.
Claudio Sacerdoti Coen [Thu, 8 Nov 2001 16:27:42 +0000 (16:27 +0000)]
Bug (that I introduced in my last commit to solve the problem of the
free variable $id appearing everywhere in the notation for LAMBDA) fixed.
Now hyperlinks should be generated correctly.
Claudio Sacerdoti Coen [Wed, 7 Nov 2001 18:44:41 +0000 (18:44 +0000)]
...
Claudio Sacerdoti Coen [Wed, 7 Nov 2001 18:43:38 +0000 (18:43 +0000)]
GPL licence added
Claudio Sacerdoti Coen [Wed, 7 Nov 2001 18:43:11 +0000 (18:43 +0000)]
.cvsignore added
Claudio Sacerdoti Coen [Wed, 7 Nov 2001 18:32:07 +0000 (18:32 +0000)]
Xalan-J_2.2.D3
Claudio Sacerdoti Coen [Wed, 7 Nov 2001 18:30:53 +0000 (18:30 +0000)]
xerces required by Xalan-J_2.2.D3
Claudio Sacerdoti Coen [Wed, 7 Nov 2001 18:23:06 +0000 (18:23 +0000)]
GPL licence added.
Claudio Sacerdoti Coen [Tue, 6 Nov 2001 18:55:50 +0000 (18:55 +0000)]
Version 1.2 ==> 1.2.0
Claudio Sacerdoti Coen [Tue, 6 Nov 2001 18:46:01 +0000 (18:46 +0000)]
New version for UWOBO 1.2.
Claudio Sacerdoti Coen [Tue, 6 Nov 2001 18:34:48 +0000 (18:34 +0000)]
1) New syntax: methods add, reload and remove can now process multiple
entries with just one method invocation. NO BACKWARD COMPATIBILITY RETAINED.
2) Serialization and deserialization: when serialization is enabled, every
time a stylesheet is recompiled it is also serialized on disk. When
booting, UWOBO automatically reloads every serialized stylesheet.
3) More verbosity: every method gives back to the user and writes in the log
much more information than before.
4) Methods update and updateAll (whose semantic was unclear) definitely removed.
Claudio Sacerdoti Coen [Tue, 6 Nov 2001 12:35:51 +0000 (12:35 +0000)]
Commit of Ferruccio changes:
* New syntax: every method now accepts a list of inputs
* Small bug fixes
Andrea Asperti [Mon, 5 Nov 2001 09:06:40 +0000 (09:06 +0000)]
Algebra notation.
Claudio Sacerdoti Coen [Mon, 5 Nov 2001 08:56:25 +0000 (08:56 +0000)]
Small bug fixed:
* xsl-import not first instruction
* $id ==> @id
Claudio Sacerdoti Coen [Tue, 30 Oct 2001 13:59:30 +0000 (13:59 +0000)]
Simple stylesheet for Dublin Core Metadata rendering.
Claudio Sacerdoti Coen [Tue, 30 Oct 2001 13:32:57 +0000 (13:32 +0000)]
Dublin Core Metadata rendering added.
Claudio Sacerdoti Coen [Tue, 30 Oct 2001 13:32:34 +0000 (13:32 +0000)]
Very simple stylesheet to render Dublin Core Metadata.
Claudio Sacerdoti Coen [Mon, 29 Oct 2001 15:56:54 +0000 (15:56 +0000)]
backpointer ==> backPointer
Claudio Sacerdoti Coen [Sun, 28 Oct 2001 22:48:19 +0000 (22:48 +0000)]
New copyright free implementation of menus in JavaScript.
Claudio Sacerdoti Coen [Sun, 28 Oct 2001 22:46:32 +0000 (22:46 +0000)]
BUG Fixed: arcs with attributes were not processed in the right way.
Claudio Sacerdoti Coen [Fri, 26 Oct 2001 12:14:14 +0000 (12:14 +0000)]
Some comments added.
Claudio Sacerdoti Coen [Fri, 26 Oct 2001 12:12:10 +0000 (12:12 +0000)]
Problem of URLs too long for I.E. avoided by removing an unuseful parameter
from the inner URL to create a graph. It seems to work for now...
Claudio Sacerdoti Coen [Thu, 25 Oct 2001 17:16:40 +0000 (17:16 +0000)]
Small bug: the theory was open in the graph windows instead of its own.
Claudio Sacerdoti Coen [Thu, 25 Oct 2001 16:44:28 +0000 (16:44 +0000)]
Forward and backward metadata added to the Raw menu.
OPEN BUG: asking metadata for inductive types does not work. A window
requesting which metadata to show should be opened instead.
Claudio Sacerdoti Coen [Thu, 25 Oct 2001 16:36:04 +0000 (16:36 +0000)]
There were still many problems with URIs with a ' in the middle.
Now they should be all resolved (in theory, at least ;-)
Claudio Sacerdoti Coen [Thu, 25 Oct 2001 16:07:49 +0000 (16:07 +0000)]
Also starting from metadatas it is now possible to select the number
of nodes.
Claudio Sacerdoti Coen [Thu, 25 Oct 2001 13:14:47 +0000 (13:14 +0000)]
Clicking on the AREA and not on the menu just pop-ups the menu again instead
of crashing.
Claudio Sacerdoti Coen [Thu, 25 Oct 2001 11:59:16 +0000 (11:59 +0000)]
BUG FIXED: URIs with a ' in the middle do not create problems any more.
[Note: We now have problems with URIs with a " in the middle ;-)]
Claudio Sacerdoti Coen [Thu, 25 Oct 2001 10:54:43 +0000 (10:54 +0000)]
A -> B now means "A depends on B" both in backward and forward graphs
Claudio Sacerdoti Coen [Thu, 25 Oct 2001 10:31:33 +0000 (10:31 +0000)]
A link to the theory of backward dependencies added to the menu.
Claudio Sacerdoti Coen [Thu, 25 Oct 2001 10:27:01 +0000 (10:27 +0000)]
The code to create a link to the theory automatically generated from the
backward metadata has been moved here from metadataLib.xsl.
Claudio Sacerdoti Coen [Thu, 25 Oct 2001 10:26:24 +0000 (10:26 +0000)]
Code clean-up: the code to create the link to the theory automatically
generated from the backward metadata has been moved to makeGraphLinks.js
Claudio Sacerdoti Coen [Thu, 25 Oct 2001 10:20:58 +0000 (10:20 +0000)]
The JavaScript code is now defined in on-line/javascript/graphLinks.xsl and
it is shared with medataLib.xsl.
Claudio Sacerdoti Coen [Thu, 25 Oct 2001 10:19:53 +0000 (10:19 +0000)]
Code obtained from the factorization of makeGraphLinks.xsl and metadataLib.xsl
Claudio Sacerdoti Coen [Thu, 25 Oct 2001 09:45:52 +0000 (09:45 +0000)]
Oooops. I have exchanged the targets of the links to the graphs of
forward and backward dependencies. Fixed.
Claudio Sacerdoti Coen [Wed, 24 Oct 2001 17:31:32 +0000 (17:31 +0000)]
Code to share with makeGraphLinks.xsl extracted to graphLinks.js
Claudio Sacerdoti Coen [Wed, 24 Oct 2001 17:31:30 +0000 (17:31 +0000)]
Code of metadataLib.xsl to share with makeGraphLinks.xsl extracted to
graphLinks.js
Claudio Sacerdoti Coen [Wed, 24 Oct 2001 16:40:08 +0000 (16:40 +0000)]
Bug fixed: now links to metadata are created iff at least one pointer is there.
Claudio Sacerdoti Coen [Wed, 24 Oct 2001 16:15:41 +0000 (16:15 +0000)]
metadataControl and demultiplexMutual merged together into metadataControl
Claudio Sacerdoti Coen [Wed, 24 Oct 2001 15:59:16 +0000 (15:59 +0000)]
metadataLib2.xsl renamed makeGraphLinks.xsl and committed.