Subversion Repositories TPPL

Rev

Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
71 2568d 13h neuper / some notes in AD_Polynomial.thy  
55 2860d 18h haftmann /dict/ spelling  
52 2863d 05h haftmann / restored build, spellcheck  
41 2944d 11h neuper / test  
39 2944d 12h haftmann / more on code generation  
37 2944d 15h haftmann / some corrections and extensions  
36 2944d 16h neuper / added Test_Cancel_Add.thy  
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  
24 2986d 14h haftmann / some text tuning  
23 2986d 14h haftmann / something on jedit  
22 2986d 14h haftmann / spellcheck