]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2001-11-14 Claudio Sacerdoti... Bug fixed: $< confused with $^
2001-11-14 Claudio Sacerdoti... missing macro
2001-11-14 Claudio Sacerdoti... HTTP_GETTER_URIS_DBM added
2001-11-14 Claudio Sacerdoti... HTTP_GETTER_SERVERS_FILE introduced
2001-11-14 Stefano ZacchiroliBug fix: changed "prefix" dir in install target.
2001-11-14 Stefano ZacchiroliChanged policy standard version.
2001-11-14 Stefano ZacchiroliRemoved INSTALL (not needed) and NEWS (0 sized) from...
2001-11-14 Stefano ZacchiroliRemove template like string that lintian hates.
2001-11-14 Stefano ZacchiroliSet DH_COMPAT=2 (instead of 1).
2001-11-14 Stefano ZacchiroliSet section field. Changed maintainer field.
2001-11-14 Stefano ZacchiroliChanged maintainer field and set section field.
2001-11-14 Stefano ZacchiroliRemoved temp files from repository.
2001-11-14 Claudio Sacerdoti... Small improvement.
2001-11-14 Claudio Sacerdoti... Simplification.
2001-11-13 Claudio Sacerdoti... 0.0.2 ==> 0.2.0 ;-)
2001-11-13 Claudio Sacerdoti... - Check for ocamlfind added.
2001-11-13 Claudio Sacerdoti... Unused variable removed.
2001-11-13 Claudio Sacerdoti... mlminidom 0.0.2 for minidom 0.1.3
2001-11-12 Luca Padovanianother small bug fixed about the pot
2001-11-12 Claudio Sacerdoti... Bug fixed.
2001-11-12 Claudio Sacerdoti... Required by the new getxslt method implementation.
2001-11-12 Claudio Sacerdoti... Required by the new xslt_index.txt implementation.
2001-11-12 Claudio Sacerdoti... Absolute URL to the Getter removed thanks to the new...
2001-11-12 Claudio Sacerdoti... No more absolute URLs: the getxslt method of the Getter...
2001-11-12 Claudio Sacerdoti... Version number updated.
2001-11-12 Claudio Sacerdoti... Bug fixed. The bug used to lead to divergence in certai...
2001-11-12 Stefano Zacchiroli- modified /getxslt method, now stylesheets are downloa...
2001-11-12 Stefano ZacchiroliAdded ".db" suffix to urls_of_uris default value.
2001-11-12 Claudio Sacerdoti... The stylesheet to create graphs are now applied to...
2001-11-12 Claudio Sacerdoti... Never really used. Functionality eventually replaced...
2001-11-12 Claudio Sacerdoti... Better error handling when port is not available.
2001-11-12 Claudio Sacerdoti... Version 1.2.1beta => 1.2.1
2001-11-12 Claudio Sacerdoti... - Stylesheet exceptions now printed in red.
2001-11-12 Claudio Sacerdoti... Code cleanup: more code sharing achieved.
2001-11-12 Claudio Sacerdoti... Bug fixed: xsl:import not first child of xsl:stylesheet.
2001-11-12 Claudio Sacerdoti... Bug fixed: unbound variable.
2001-11-11 Stefano ZacchiroliAdded "/getempty" method.
2001-11-10 Luca Padovanibinary ignored
2001-11-10 Luca Padovani.deps ignored
2001-11-10 Luca Padovani- new handling of links
2001-11-10 Luca Padovani- added method to check for an attribute in a given...
2001-11-09 Claudio Sacerdoti... Code improvement: more code shared.
2001-11-09 Claudio Sacerdoti... Small bug fixed.
2001-11-09 Claudio Sacerdoti... The body of the variables was not printed.
2001-11-09 Claudio Sacerdoti... indent="yes" in xsl:output removed to impreve performance.
2001-11-09 Claudio Sacerdoti... indent="yes" in xsl:output removed for performance...
2001-11-08 Claudio Sacerdoti... The same patch I have applied in the previous commit...
2001-11-08 Claudio Sacerdoti... The patch of Irene to allow MathML presentation inside...
2001-11-08 Claudio Sacerdoti... Workaround replacement: instead of a litteral URL ...
2001-11-08 Claudio Sacerdoti... Bug (that I introduced in my last commit to solve the...
2001-11-07 Claudio Sacerdoti... ...
2001-11-07 Claudio Sacerdoti... GPL licence added
2001-11-07 Claudio Sacerdoti... .cvsignore added
2001-11-07 Claudio Sacerdoti... Xalan-J_2.2.D3
2001-11-07 Claudio Sacerdoti... xerces required by Xalan-J_2.2.D3
2001-11-07 Claudio Sacerdoti... GPL licence added.
2001-11-06 Claudio Sacerdoti... Version 1.2 ==> 1.2.0
2001-11-06 Claudio Sacerdoti... New version for UWOBO 1.2.
2001-11-06 Claudio Sacerdoti... 1) New syntax: methods add, reload and remove can now...
2001-11-06 Claudio Sacerdoti... Commit of Ferruccio changes:
2001-11-05 Andrea AspertiAlgebra notation.
2001-11-05 Claudio Sacerdoti... Small bug fixed:
2001-10-30 Claudio Sacerdoti... Simple stylesheet for Dublin Core Metadata rendering.
2001-10-30 Claudio Sacerdoti... Dublin Core Metadata rendering added.
2001-10-30 Claudio Sacerdoti... Very simple stylesheet to render Dublin Core Metadata.
2001-10-29 Claudio Sacerdoti... backpointer ==> backPointer
2001-10-28 Claudio Sacerdoti... New copyright free implementation of menus in JavaScript.
2001-10-28 Claudio Sacerdoti... BUG Fixed: arcs with attributes were not processed...
2001-10-26 Claudio Sacerdoti... Some comments added.
2001-10-26 Claudio Sacerdoti... Problem of URLs too long for I.E. avoided by removing...
2001-10-25 Claudio Sacerdoti... Small bug: the theory was open in the graph windows...
2001-10-25 Claudio Sacerdoti... Forward and backward metadata added to the Raw menu.
2001-10-25 Claudio Sacerdoti... There were still many problems with URIs with a ' in...
2001-10-25 Claudio Sacerdoti... Also starting from metadatas it is now possible to...
2001-10-25 Claudio Sacerdoti... Clicking on the AREA and not on the menu just pop-ups...
2001-10-25 Claudio Sacerdoti... BUG FIXED: URIs with a ' in the middle do not create...
2001-10-25 Claudio Sacerdoti... A -> B now means "A depends on B" both in backward...
2001-10-25 Claudio Sacerdoti... A link to the theory of backward dependencies added...
2001-10-25 Claudio Sacerdoti... The code to create a link to the theory automatically...
2001-10-25 Claudio Sacerdoti... Code clean-up: the code to create the link to the theor...
2001-10-25 Claudio Sacerdoti... The JavaScript code is now defined in on-line/javascrip...
2001-10-25 Claudio Sacerdoti... Code obtained from the factorization of makeGraphLinks...
2001-10-25 Claudio Sacerdoti... Oooops. I have exchanged the targets of the links to...
2001-10-24 Claudio Sacerdoti... Code to share with makeGraphLinks.xsl extracted to...
2001-10-24 Claudio Sacerdoti... Code of metadataLib.xsl to share with makeGraphLinks...
2001-10-24 Claudio Sacerdoti... Bug fixed: now links to metadata are created iff at...
2001-10-24 Claudio Sacerdoti... metadataControl and demultiplexMutual merged together...
2001-10-24 Claudio Sacerdoti... metadataLib2.xsl renamed makeGraphLinks.xsl and committed.
2001-10-24 Claudio Sacerdoti... Stylesheet to add links menus to graphs added.
2001-10-24 Claudio Sacerdoti... New procedure to create metadata committed and old...
2001-10-24 Claudio Sacerdoti... mk_meta_graph.xsl and mk_dep_graph.xsl factorised using
2001-10-24 Claudio Sacerdoti... mk_dep_graph reimplemented using the forward-pointers...
2001-10-24 Claudio Sacerdoti... RDFURI removed because no more unique.
2001-10-24 Claudio Sacerdoti... Ported to RDF syntax.
2001-10-24 Claudio Sacerdoti... Porting to RDF syntax.
2001-10-24 Claudio Sacerdoti... The cache now supports different RDF URI schema at...
2001-10-22 Ferruccio Guiditemplate mk-mml-op-noannot was modified to allow hidden...
2001-10-18 Luca PadovaniInitial revision
2001-10-18 Claudio Sacerdoti... Bug fixing: now the link to the graphs produce extended...
2001-10-18 Claudio Sacerdoti... mk_dep_graph.xsl now differentiates the constructors...
next