]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7b166c) | patch
Matitaweb: added layout.js (currently manages resizing of UI).
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 28 Oct 2011 13:49:57 +0000 (13:49 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 28 Oct 2011 13:49:57 +0000 (13:49 +0000)
commite15474b915f237623e1e667fd789d1417d425f74
tree6531a0db2b19e73d61db0db9527c646727d4b2abtree | snapshot
parentb7b166c432e2118e3270ff4e07467bfbe4ebc57bcommit | diff
Matitaweb: added layout.js (currently manages resizing of UI).
matitaB/matita/layout.js [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.