WebSVN - UMinho Haskell Software - Galculator - Log - Rev 7

Galculator - Rev 7

?curdirlinks?

Rev	Path	Author	Age	Log message
7	/	paulosilva	6548d 13h	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...
1	/	paulosilva	6592d 13h	The first public version of Galculator. The prototype is still being developed, thus some features are not implemented y et. More testing is also needed.