aarne 706f3c89b5 fixed corrupted character in tutorial FoodIta

2010-12-23 10:04:50 +00:00

..

calculator

…

embedded

…

food

fixed corrupted character in tutorial FoodIta

2010-12-23 10:04:50 +00:00

foods

…

hello

…

old/semantics

…

resource-foods

updated tutorial and quickstart for 3.2

2010-12-23 09:33:11 +00:00

smart

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

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

syntax

…