From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 28 Oct 2001 22:48:19 +0000 (+0000)
Subject: New copyright free implementation of menus in JavaScript.
X-Git-Tag: v0_1_3~27
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=054a2f683f8240063a8d6e1c9c5864ebac8eaa41;hp=054a2f683f8240063a8d6e1c9c5864ebac8eaa41;p=helm.git

New copyright free implementation of menus in JavaScript.
---