Mercurial Mercurial > hg > nominal2 / 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.
ROOT
changeset 3217 d67a6a48f1c7
parent 3198 e42d281bf5ef
child 3224 cf451e182bf0
equal deleted inserted replaced
3216:bc2c3a1f87ef 3217:d67a6a48f1c7 
    32     "Ex/Foo1"
 
    32     "Ex/Foo1"
 
    33     "Ex/Foo2"
 
    33     "Ex/Foo2"
 
    34     "Ex/CoreHaskell"
 
    34     "Ex/CoreHaskell"
 
    35     "Ex/CoreHaskell2"
 
    35     "Ex/CoreHaskell2"
 
    36     "Ex/Pi"
 
    36     "Ex/Pi"
 
       
    37     "Ex/Local_Contexts"
 
    37   theories [quick_and_dirty]
 
    38   theories [quick_and_dirty]
 
    38     "Ex/Let"
 
    39     "Ex/Let"
 
    39 
    40 
    40 session Tutorial_Exercises (Tests) in "Tutorial" = Nominal2 +
 
    41 session Tutorial_Exercises (Tests) in "Tutorial" = Nominal2 +
 
    41   options [document = false, quick_and_dirty]
 
    42   options [document = false, quick_and_dirty]
nominal2