Submitted

This page holds patches yet to be reviewed and applied by Ulf.

• Add an indirection for the fontset to use for Agda indirection_for_fontset-agda2, Makoto Takeyama, 2008-09-04
• Fixed Interaction.Imports.matchFileName for Windows fixed_matchFileName, Makoto Takeyama, 2008-08-27
• MAlonzo FFI support MAlonzoFFIsupport, Makoto Takeyama, 2008-06-04
• MAlonzo compiler (2nd try) MAlonzo_2, Makoto Takeyama, 2008-04-02
• option --no-injectivity-check no-injectivity-check, Makoto Takeyama, 2008-04-01
• MAlonzo compiler added_MAlonzo_compiler, Makoto Takeyama, 2008-04-01
  This patch was incomplete. Please use the MAlonzo_2 patch below. If you have already applied this, please darcs unpull it.