Subversion Repositories TPPL

Rev

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

Filtering Options

Rev Age Author Path Log message Diff
39 3000d 21h haftmann / more on code generation  
37 3001d 00h haftmann / some corrections and extensions  
33 3005d 19h haftmann / work continues  
31 3031d 16h haftmann / prefer GB ver US  
30 3031d 23h neuper / sect.5: tuned  
29 3031d 23h neuper / sect.5: preexisting knowledge  
28 3033d 16h neuper / \citeme --> \cite in most cases  
27 3034d 20h neuper / downloaded Florians work  
26 3035d 02h haftmann / continued work on Isabelle  
25 3042d 22h haftmann / tuned whitespace  
24 3042d 22h haftmann / some text tuning  
23 3042d 22h haftmann / something on jedit  
22 3042d 23h haftmann / spellcheck  
21 3043d 00h haftmann / styled examples  
20 3043d 00h haftmann / more on Isabelle  
19 3043d 02h haftmann / more on Isabelle