]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 070bda8) | patch
Matitaweb: Added jquery.js (also used in some of the previous releases).
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 2 Nov 2011 12:54:29 +0000 (12:54 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 2 Nov 2011 12:54:29 +0000 (12:54 +0000)
commit1d9f316d7e397f52650c37ccc97fada28d293118
tree73fa6a814700a68b4fe48eb6b6e0b2cc22c56618tree | snapshot
parent070bda8035e9ae0d3bfe69110d184bb82183cf46commit | diff
Matitaweb: Added jquery.js (also used in some of the previous releases).
matitaB/matita/jquery.js [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.