]> matita.cs.unibo.it Git - helm.git/history - helm/on-line/javascript/utils.js
BUG Fixed: arcs with attributes were not processed in the right way.
[helm.git] / helm / on-line / javascript / utils.js
2001-10-26 Claudio Sacerdoti... Problem of URLs too long for I.E. avoided by removing...
2001-10-15 Claudio Sacerdoti... New implementation of the graphs stuff: now every hard...
2001-06-22 Claudio Sacerdoti... Many modifications to avoid JavaScript security rules of
2001-05-09 Claudio Sacerdoti... URI may now have #
2001-04-18 Claudio Sacerdoti... annotationHelper now working again. A control frame...
2001-03-13 Luca PadovaniInitial revision