Subversion Repositories TPPL

Rev

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

Filtering Options

Rev Age Author Path Log message Diff
52 2863d 05h haftmann / restored build, spellcheck  
32 2975d 07h haftmann / adjusted for additional documents  
22 2986d 15h haftmann / spellcheck  
20 2986d 16h haftmann / more on Isabelle  
18 2986d 18h haftmann / outline for Isabelle mission statement  
14 3011d 17h haftmann / delete more aggresively  
12 3011d 17h haftmann / simple build script