Subversion Repositories TPPL

Rev

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

Filtering Options

Rev Age Author Path Log message Diff
54 2860d 18h neuper / tuned  
52 2863d 05h haftmann / restored build, spellcheck  
51 2868d 17h neuper / tuned  
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