Galculator

?showchangeslink?

Revision Information
Current Directory:	/src/Galculator/
Rev:	24
Author:	paulosilva
Last modification:	Rev 7 - 2008-07-09 17:29:29
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...
	(?hidechangeslink?)

?curdirlinks? - ?curdirloglink? - ?curdircomplink?

Path	?${matches[1]}?Log?${matches[1]}?
experimental-src/	?${matches[1]}??fileviewloglink??${matches[1]}?
src/	?${matches[1]}??fileviewloglink??${matches[1]}?
Control/	?${matches[1]}??fileviewloglink??${matches[1]}?
Data/	?${matches[1]}??fileviewloglink??${matches[1]}?
Galculator/	?${matches[1]}??fileviewloglink??${matches[1]}?
Engine/	?${matches[1]}??fileviewloglink??${matches[1]}?
Evaluate.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Interpreter.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Proof.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Rule.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
RunCommand.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
State.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
StepEval.hs	?${matches[1]}??fileviewloglink??${matches[1]}?
Language/	?${matches[1]}??fileviewloglink??${matches[1]}?