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

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

..

calculator

cleaned up Calculator example

2007-09-04 20:51:26 +00:00

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

Italian "quello" corrected

2008-10-01 12:11:29 +00:00

hello

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

old/semantics

tutorial complete with server and js

2008-11-11 10:28:32 +00:00

resource-foods

food grammar path changed in tutorial

2009-04-08 05:59:16 +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

Italian "quello" corrected

2008-10-01 12:11:29 +00:00