]> matita.cs.unibo.it Git - helm.git/history - helm/on-line
added preliminary support for maction
[helm.git] / helm / on-line /
2001-06-29 Claudio Sacerdoti... drop_coercion (d_c) inserted in every stylesheet chain
2001-06-29 Claudio Sacerdoti... First completely working interface for metadata.
2001-06-29 Claudio Sacerdoti... Total compatibility with Mozilla 9.1 reached with this...
2001-06-27 Claudio Sacerdoti... First version of metadata interface.
2001-06-25 Claudio Sacerdoti... Bug fixed: Compressed was not checked well on control...
2001-06-25 Claudio Sacerdoti... Comment removed because XSLT removed the "end-of-line...
2001-06-25 Claudio Sacerdoti... "Bug" appearing under IE only fixed.
2001-06-22 Claudio Sacerdoti... Many modifications to avoid JavaScript security rules of
2001-06-22 Claudio Sacerdoti... Some simplifications (redundant code).
2001-06-22 Claudio Sacerdoti... top.topurl alias topurl alias interfaceURL alias thinte...
2001-06-20 Claudio Sacerdoti... UNICODEvsSYMBOL parameter now added everywhere
2001-05-09 Claudio Sacerdoti... URI may now have #
2001-05-04 Claudio Sacerdoti... New version of Igor Rodionov stylesheets.
2001-05-04 Claudio Sacerdoti... Stylesheets for (cic|content|presentation) theory now...
2001-05-04 Claudio Sacerdoti... Bug fixed: following a link to an object inside a theor...
2001-04-18 Claudio Sacerdoti... annotationHelper now working again. A control frame...
2001-04-11 Claudio Sacerdoti... Control panel added to CIC window
2001-04-06 Claudio Sacerdoti... Added URL quoting to quote also "," (required by Netsca...
2001-03-22 Claudio Sacerdoti... Now links are followed even in theory + MathML Presentation
2001-03-21 Claudio Sacerdoti... patched_dtd => patch_dtd
2001-03-19 Claudio Sacerdoti... Changes in raw mode interface
2001-03-19 Claudio Sacerdoti... Now uses the new stylesheets waterfall
2001-03-16 Claudio Sacerdoti... getciconly ==> getxml
2001-03-16 Claudio Sacerdoti... Raw mode now really considers compressed/not compressed
2001-03-16 Claudio Sacerdoti... Method get of the getter no more used. Replaced by...
2001-03-16 Claudio Sacerdoti... Files with annotations available now use a different...
2001-03-16 Claudio Sacerdoti... Used for files where annotations are availables
2001-03-16 Claudio Sacerdoti... annotations now taken in account (as was for naturalLan...
2001-03-14 Claudio Sacerdoti... Syntax error + new indenting
2001-03-14 Claudio Sacerdoti... Configuration on-line now pass the parameters
2001-03-13 Luca PadovaniInitial revision