Revert "Support for multiple signature files in scope."
[ghc.git] / docs / core-spec / core-spec.mng
2015-04-24  Richard EisenbergFix the formal operational semantics (#10121)
2015-03-07  Alexander VershilovImprove core linter so it catches unsafeCoerce problems...
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-29  Jan StolarekFix glitch in core-spec pdf
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-12  Gabor Greiffix a mistyped label that caused a stray reference
2013-11-25  Richard EisenbergUpdate to core-spec documentation.
2013-09-09  Patrick PalkaMerge branch 'ghc-parmake-gsoc' (#910)
2013-09-09  Richard EisenbergClarification in formalism concerning roles.
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-08-02  Richard EisenbergFix Trac #8020.
2013-07-31  Richard EisenbergAdded operational semantics to docs/core-spec.
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-22  Richard EisenbergImplement overlapping type family instances.
2012-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-02  Ian LynaghMerge branch 'ticket-7442' of git://github.com/phonohaw...
2012-12-01  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2012-12-01  Richard EisenbergAdded GHC formalism to the GHC source tree.