aarne 3506b313c1 format .gfm for multiple modules in the same file; includes lines with ;-separated words

2010-11-30 14:50:24 +00:00

..

calculator

…

embedded

Really adding QuerySpa to embedded.

2010-06-18 15:53:47 +00:00

food

format .gfm for multiple modules in the same file; includes lines with ;-separated words

2010-11-30 14:50:24 +00:00

foods

…

hello

…

old/semantics

…

resource-foods

…

smart

in tutorial/smart remove the hack that forced the proof object to be resolved

2010-10-18 12:28:39 +00:00

syntax

…