Revert "Support for multiple signature files in scope."
[ghc.git] / docs / core-spec / OpSem.ott
2015-04-24  Richard EisenbergFix the formal operational semantics (#10121)
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-07-31  Richard EisenbergAdded operational semantics to docs/core-spec.