]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ac9e5e) | patch
* Title added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 23 Aug 2001 13:16:04 +0000 (13:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 23 Aug 2001 13:16:04 +0000 (13:16 +0000)
commit356934c522c7d3a7a359be4a0488a58236dd67d8
treeeac95ca9df8a9c744a0642f62bc8f1cb00c8fb53tree | snapshot
parent2ac9e5e21097dbfaf0f366fb355796486becb3fecommit | diff
* Title added
* Method onLoad="window.focus()" added. To be removed as soon as the window
  become a frame.
helm/style/mk_meta_theory.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.