Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/8bit/isa-patches/HOLCF/clean-HOLCF.cfg
changeset 1833 59f5256d8dd2
parent 1826 2a2c0dbeb4ac
child 2289 c53230ac3954
equal deleted inserted replaced
1832:79dd1433867c 1833:59f5256d8dd2 
     1 Configuration file for cleaning the 8bit patches in Isabelle
 
     1 Configuration file for cleaning the 8bit patches in Isabelle
 
     2 
     2 
     3 STEM "/usr/stud/oheimb/isabelle/"
 
     3 STEM "/usr/stud/oheimb/isabelle/"
 
     4 
     4 
     5 CLEAN IN HOLCF/Holcfb.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" 
       
     6 CLEAN IN HOLCF/Cfun1.thy BETWEEN "^\(\*\s*start\s*8bit\s*2" "^\(\*\s*end\s*8bit\s*2" 
     5 CLEAN IN HOLCF/Cfun1.thy BETWEEN "^\(\*\s*start\s*8bit\s*2" "^\(\*\s*end\s*8bit\s*2" 
     7 CLEAN IN HOLCF/Cprod3.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" 
     6 CLEAN IN HOLCF/Cprod3.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" 
     8 CLEAN IN HOLCF/Lift3.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" 
     7 CLEAN IN HOLCF/Lift3.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" 
     9 CLEAN IN HOLCF/Pcpo.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" 
     8 CLEAN IN HOLCF/Pcpo.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" 
    10 CLEAN IN HOLCF/Porder.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" 
     9 CLEAN IN HOLCF/Porder.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
isabelle