diff options
author | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-05-17 10:31:55 +0000 |
---|---|---|
committer | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-05-17 10:31:55 +0000 |
commit | 4e41135d9aa09260ccf1ca801ac055fd71838a7e (patch) | |
tree | dc8f53892869c633b9fc21b7d36c911e6cc74d65 /lib/util.mli | |
parent | 5b9981239c3192d20d7db2de1248a63b59cbf44a (diff) |
Add simple test of bullet behaviour.
Signed-off-by: Tom Prince <tom.prince@ualberta.net>
Signed-off-by: Arnaud Spiwack <arnaud@spiwack.net>
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14132 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/util.mli')
0 files changed, 0 insertions, 0 deletions