12 Commits

Author	SHA1	Message	Date
aarne	72b1881ee0	added some words to complete resource test	2008-06-20 16:08:22 +00:00
aarne	3d8f5b03fa	extended api with some IQuant rules	2008-06-20 11:54:37 +00:00
aarne	1ba825e75b	restored Symbolic in 1.4, moved to mathematical; Int and Float don't work properly	2008-06-20 10:12:50 +00:00
aarne	a905625945	restored mathematical in 1.4; forgave some lock fields in overload resolution	2008-06-20 09:21:52 +00:00
aarne	cf1210f824	fixed command abbreviations in GFI	2008-06-17 12:34:02 +00:00
aarne	416d3644df	some more 1.4 functions in russian	2008-06-17 06:55:02 +00:00
aarne	cff072105a	moved commands pf and af to options of pg and wf, respectively	2008-06-16 20:36:10 +00:00
aarne	72f04aa88c	new languages in resource Make; moved GF-specific stuff from Quiz	2008-06-16 11:15:38 +00:00
aarne	6bb8992823	parsable demo of resource, without VP	2008-06-14 22:13:35 +00:00
aarne	002921697c	present version of Make in 1.4	2008-06-14 07:35:58 +00:00
aarne	19419ddb0d	make with test trees	2008-06-13 12:49:54 +00:00
aarne	6937cb11f4	started Make.hs in resource-1.4; api files for all langs	2008-06-13 08:58:00 +00:00