Removed from debian dir.

Synced debian dir.

added config.sub and config.guess so that the package is ready for Debian

Content-type for MathML Content "fixed". Why was it broken?

out of sync w.r.t. configuration.ml

Underlining of hyperlinks removed.

mkMetaTheoryURL(): param.embedKeys() forgot.
Code improvement.

Changed version number to 0.2.1

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.

Checks for mlminidom and lablgtk added.

Some spourious files removed.

...

.cvsignore improved

Disequalities chains for algebra. First draft.

Distribution improvements.

Now automatically generated from Makefile.in

No more used.

First commit towards the 0.2.8 version.

Bug fixed

Bug fixed: $< confused with $^

missing macro

HTTP_GETTER_URIS_DBM added

HTTP_GETTER_SERVERS_FILE introduced

Bug fix: changed "prefix" dir in install target.
Minor changes in debhelper usage.

Changed policy standard version.

Removed INSTALL (not needed) and NEWS (0 sized) from document list.

Remove template like string that lintian hates.

Set DH_COMPAT=2 (instead of 1).

Set section field. Changed maintainer field.

Changed maintainer field and set section field.

Removed temp files from repository.

Small improvement.

Simplification.

0.0.2 ==> 0.2.0 ;-)

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