Changeset 11ab4e in git


Ignore:
Timestamp:
Oct 4, 2013, 6:05:24 PM (10 years ago)
Author:
Janko Boehm <boehm@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
8b1af66f3fa0c89a69c53ece141ce180bd7462a6
Parents:
69b030fa82c47c378fcf1d4a45c0927de369858d
git-author:
Janko Boehm <boehm@mathematik.uni-kl.de>2013-10-04 18:05:24+02:00
git-committer:
Janko Boehm <boehm@mathematik.uni-kl.de>2013-10-25 18:08:33+02:00
Message:
added assume
File:
1 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.