[docs Paolo Veronelli **20080207215529] { hunk ./Editor.hs 29 +liftStatoE :: Ctx m w => StatoE m w a -> Editor m w a hunk ./Editor.hs 31 + hunk ./Editor.hs 33 +hputfile :: Ctx m w => w -> Editor m w () hunk ./Editor.hs 35 + hunk ./docs/Editor.html 145 +>liftStatoE :: Ctx m w => StatoE m w a -> Editor m w ahputfile :: Ctx m w => w -> Editor m w ()liftStatoE :: Ctx m w => StatoE m w a -> Editor m w ahputfile :: Ctx m w => w -> Editor m w ()push a new file (data Engine instance) in the core State, pushing the old state in the undo stack +

push a new file (data Engine instance) in the core State, pushing the old state in the undo stack -

EditorEditorEditorEditor