Subversion Repositories TPPL


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

Filtering Options

Rev Age Author Path Log message Diff
47 2930d 16h neuper / tuned goals and deom-thy  
46 2931d 16h neuper / forgot code generation in 'goals.tex', added now  
45 2935d 10h neuper / results from meeting in inst.f. elect.measurement, TUG  
35 2947d 12h neuper / reverted and cp back TPPL-goals.tex, references.bib  
33 2949d 10h haftmann / work continues  
29 2975d 15h neuper / sect.5: preexisting knowledge