| Revision Information | |
|---|---|
| Current Directory: | /src/Language/ |
| Rev: | 24 |
| Author: | paulosilva |
| Last modification: | Rev 7 - 2008-07-09 16:29:29 +0100 (Wed, 09 Jul 2008) |
| Log message: | Some MonadPlus were replaced by MonadOr. Some commands were refactored in order to build an evaluator of proof step commands. Some experiments in order to introduce a more readable representation were tried but the results are still not very pleasant... |
| (Hide changed files) | |
| New Files: | experimental-src/Language/Fork/ experimental-src/Language/Fork/Parser.hs |
