]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2001-11-22 Claudio Sacerdoti... out of sync w.r.t. configuration.ml
2001-11-21 Claudio Sacerdoti... Underlining of hyperlinks removed.
2001-11-21 Claudio Sacerdoti... mkMetaTheoryURL(): param.embedKeys() forgot.
2001-11-19 Stefano ZacchiroliChanged version number to 0.2.1
2001-11-16 Claudio Sacerdoti... BUG FIXED:
2001-11-16 Claudio Sacerdoti... Checks for mlminidom and lablgtk added.
2001-11-16 Claudio Sacerdoti... Some spourious files removed.
2001-11-16 Claudio Sacerdoti... ...
2001-11-16 Claudio Sacerdoti... .cvsignore improved
2001-11-16 Andrea AspertiDisequalities chains for algebra. First draft.
2001-11-15 Claudio Sacerdoti... Distribution improvements.
2001-11-15 Claudio Sacerdoti... Now automatically generated from Makefile.in
2001-11-15 Claudio Sacerdoti... No more used.
2001-11-15 Claudio Sacerdoti... First commit towards the 0.2.8 version.
2001-11-14 Claudio Sacerdoti... Bug fixed
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...
next