]> matita.cs.unibo.it Git - helm.git/commit - helm/on-line/javascript/graphLinks.js
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c03c136) | patch
mkMetaTheoryURL(): param.embedKeys() forgot.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 21 Nov 2001 18:32:00 +0000 (18:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 21 Nov 2001 18:32:00 +0000 (18:32 +0000)
commit46b441cfa0f4a2c2076450a32452796db7ac8c7c
tree44b0b1d6702e389e85078adf38ec26fda6a8fe6atree | snapshot
parentc03c1363da153f739a1a74ad58753595f105a94dcommit | diff
mkMetaTheoryURL(): param.embedKeys() forgot.
Code improvement.
helm/on-line/javascript/control.js diff | blob | history
helm/on-line/javascript/graphLinks.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.