Subversion Repositories TPPL

Rev

Show changed files | Details | Compare with Previous | Blame | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
50 2870d 18h neuper / NEW CA-->Isabelle keeping OLD versions, see README  
49 2909d 12h neuper / protocol WS+WN 10.Dec.2012 in TPPL-requirements // build is broken