Subversion Repositories TPPL


Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
87 2462d 10h neuper / follow-ups to meeting Munich 17/18.Feb  
81 2522d 11h neuper / added space of discourse for polynomial representation to preparations.tex  
61 2608d 10h neuper / added to preparatory text for paper  
58 2859d 09h neuper / finished presentation for Munich  
49 2909d 12h neuper / protocol WS+WN 10.Dec.2012 in TPPL-requirements // build is broken  
40 2944d 11h neuper / TPPL-present-munich revised wrt meeting WS+WN  
34 2947d 12h neuper / added a draft presentation for meeting in Munich  
33 2949d 10h haftmann / work continues  
23 2986d 13h haftmann / something on jedit  
15 3011d 17h haftmann / tuned directory structure