]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b625396) | patch
more tests with keyboard events.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 13 Jul 2011 14:25:54 +0000 (14:25 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 13 Jul 2011 14:25:54 +0000 (14:25 +0000)
commit0396a6069b8e3140bf39778c46b273e9fb2f8947
tree0a3dc5750dbab24c47f982cfb5774c59d00ab500tree | snapshot
parentb6253961f0507b33cce774c0307a2674ae9fb2d5commit | diff
more tests with keyboard events.
matitaB/matita/matitaweb.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.