- Check for ocamlfind added.
- .cvsignore improved

Unused variable removed.

mlminidom 0.0.2 for minidom 0.1.3

another small bug fixed about the pot

Bug fixed.

Required by the new getxslt method implementation.

Required by the new xslt_index.txt implementation.

Absolute URL to the Getter removed thanks to the new getxslt method
implementation.

No more absolute URLs: the getxslt method of the Getter is now
used uniformly.

Version number updated.

Bug fixed. The bug used to lead to divergence in certain cases (e.g. limit_mul).

- 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

Added ".db" suffix to urls_of_uris default value.

The stylesheet to create graphs are now applied to the result of
the new getempty method of the getter.

Never really used. Functionality eventually replaced by the serialization.

Better error handling when port is not available.

Version 1.2.1beta => 1.2.1

- 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.

Code cleanup: more code sharing achieved.

Bug fixed: xsl:import not first child of xsl:stylesheet.

Bug fixed: unbound variable.

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 />

----

binary ignored

.deps ignored

- new handling of links
- no more conflict between links and actions (links have precedence)
- cursors now handled by helmpot
- fixed problem with pot cursor

- added method to check for an attribute in a given namespace

Code improvement: more code shared.

Small bug fixed.

The body of the variables was not printed.

indent="yes" in xsl:output removed to impreve performance.

indent="yes" in xsl:output removed for performance increase.

The same patch I have applied in the previous commit to m:ci has been
applied to m:mn.

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)

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.

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.

...

GPL licence added

.cvsignore added

Xalan-J_2.2.D3

xerces required by Xalan-J_2.2.D3

GPL licence added.

Version 1.2 ==> 1.2.0

New version for UWOBO 1.2.

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.

Commit of Ferruccio changes:
* New syntax: every method now accepts a list of inputs
* Small bug fixes

Algebra notation.

Small bug fixed:
 * xsl-import not first instruction
 * $id ==> @id

Simple stylesheet for Dublin Core Metadata rendering.

Dublin Core Metadata rendering added.

Very simple stylesheet to render Dublin Core Metadata.

backpointer ==> backPointer

New copyright free implementation of menus in JavaScript.

BUG Fixed: arcs with attributes were not processed in the right way.

Some comments added.

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...

Small bug: the theory was open in the graph windows instead of its own.

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.

There were still many problems with URIs with a ' in the middle.
Now they should be all resolved (in theory, at least ;-)

Also starting from metadatas it is now possible to select the number
of nodes.

Clicking on the AREA and not on the menu just pop-ups the menu again instead
of crashing.

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 ;-)]

A -> B now means "A depends on B" both in backward and forward graphs

A link to the theory of backward dependencies added to the menu.

The code to create a link to the theory automatically generated from the
backward metadata has been moved here from metadataLib.xsl.

Code clean-up: the code to create the link to the theory automatically
generated from the backward metadata has been moved to makeGraphLinks.js

The JavaScript code is now defined in on-line/javascript/graphLinks.xsl and
it is shared with medataLib.xsl.

Code obtained from the factorization of makeGraphLinks.xsl and metadataLib.xsl

Oooops. I have exchanged the targets of the links to the graphs of
forward and backward dependencies. Fixed.

Code to share with makeGraphLinks.xsl extracted to graphLinks.js

Code of metadataLib.xsl to share with makeGraphLinks.xsl extracted to
graphLinks.js

Bug fixed: now links to metadata are created iff at least one pointer is there.

metadataControl and demultiplexMutual merged together into metadataControl

metadataLib2.xsl renamed makeGraphLinks.xsl and committed.

Stylesheet to add links menus to graphs added.

New procedure to create metadata committed and old procedure removed.
The new procedure is based on ocaml code and builds metadata for both
forward and backward pointers. The old one was based on a stylesheet.

mk_meta_graph.xsl and mk_dep_graph.xsl factorised using
mk_meta_and_dep_graph.xsl.

mk_dep_graph reimplemented using the forward-pointers metadata.
It is now almost a perfect copy of mk_meta_graph.xsl.

RDFURI removed because no more unique.

Ported to RDF syntax.

Porting to RDF syntax.

The cache now supports different RDF URI schema at the same time.

template mk-mml-op-noannot was modified to allow hidden parameters
eq and eqT where aligned

Initial revision

Bug fixing: now the link to the graphs produce extended URIs
(e.g. ".../nat.ind#xpointer(1/1/1")

mk_dep_graph.xsl now differentiates the constructors from the
inductive types producing "extended" URIs
(e.g. ".../nat.ind#xpointer(1/1/1)")

Oooops. After the last commit all the URLs were damaged.

Makefile.in that support some new architectures.

Bug removed/Feature changed: CIC URIs for inductive data types
and constructors ending with an #xpointer are now handled
(more) correctly.

Bug related to #xpointer(1/n/m) constructor URI fixed.

New implementation of the graph stuff: now every hard-coded URL has been
removed.

Help method added

New implementation of the graphs stuff: now every hard-coded URL has
been removed.

Commented code removed

New implementation of the graph staff: the logic has been moved
from mk_html.pl to the stylesheets

New implementation of the graph staff: logic moved
from mk_html.pl to the stylesheets.

Whoops. Forgot to open the CIC file in the cic window.

Menu in JavaScript substituted to multi-area links. Cool.

Code improvement, same functionalities.

New implementation: now the number of nodes is used to prune the graph

cvsignore added