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

First release checked in

New graph implementation: the visit is no more pruned on a level base, but
when the number of the nodes in the graph exceeds a fixed limit.

Debian packaging of helmpot-0.0.3

Many more hard-coded links removed.

First set of hard-coded URLs removed.
Still many remaining.

Absolute path removed thanks to a bug-fixing in Uwobo.
To process this stylesheet, a version of Uwobo >= 1.1.11 is required.

First implementation of graphs stuff. Working on my notebook,
probably not working on-line, yet.

New stylesheets for graphs added

d_c missing

First implementation of graphs. Working on my notebook, probably not
on-line.

* getter.xsl added
  In this stylesheet there is a simple function to make the URL
  of an XML file given its URI. (The URL is used to ask the getter
  to retrieve the file)
* every other stylesheet (but ricerca.xsl that is unused and
  links_library.xsl) has been changed to use the new function
  instead of computing the URL cutting&pasting the same code
  again and again.

bug fix (helm selection) and new version (sigh)

Proof explosion blocked after lambda-abstractions.

Proof explosion improved (= avoided) for:
 1) Proofs after lambda-introductions (linear proofs)
 2) Proofs after a rewriting step (linear proofs)
 3) Proofs after a letin1 (linear proofs)

1. Fixati alcuni problemi di indentazione con le rewrite.
2. Esplosione in un colpo solo di catene di riscrittura.

Espansione dinamica delle prove per Mozilla/Galeon.