summaryrefslogtreecommitdiff
path: root/tests/mouseEvent.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-11-17 07:54:59 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2013-11-17 07:54:59 -0500
commit1f1fc5c83dae5167133a56ecae33692a0d6444db (patch)
tree70fee330ce7b7c0b3d4b7cf7246ded4aa19cb348 /tests/mouseEvent.ur
parent4259d248050c93180767c076469431f11b8fe984 (diff)
Manual: add a pointer to background reading on inference rule notation
Diffstat (limited to 'tests/mouseEvent.ur')
0 files changed, 0 insertions, 0 deletions