Subversion Repositories TPPL

Rev

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

Filtering Options

Rev Age Author Path Log message Diff
39 2944d 12h haftmann / more on code generation  
37 2944d 15h haftmann / some corrections and extensions  
33 2949d 10h haftmann / work continues  
31 2975d 07h haftmann / prefer GB ver US  
30 2975d 14h neuper / sect.5: tuned  
29 2975d 14h neuper / sect.5: preexisting knowledge  
28 2977d 07h neuper / \citeme --> \cite in most cases  
27 2978d 11h neuper / downloaded Florians work  
26 2978d 17h haftmann / continued work on Isabelle  
25 2986d 13h haftmann / tuned whitespace  
24 2986d 13h haftmann / some text tuning  
23 2986d 13h haftmann / something on jedit  
22 2986d 14h haftmann / spellcheck  
21 2986d 15h haftmann / styled examples  
20 2986d 16h haftmann / more on Isabelle  
19 2986d 17h haftmann / more on Isabelle