4 Commits

Author	SHA1	Message	Date
Krasimir Angelov	527d97fdd2	fix the type signatures for the linearizer callbacks	2017-09-08 22:58:42 +02:00
Krasimir Angelov	a8eeb49767	the linearizer API now allows to detect metavariables. This is used for instancein the lookup where the tokens produced from the metavariables are interpreted as distinct from all other tokens.	2017-08-07 16:39:19 +02:00
krasimir	539a1a7d23	a bit more documentation copied from Java	2017-05-31 19:01:04 +00:00
krasimir	e1cec06f74	.NET binding to GF by Bjørnar Luteberget	2017-05-31 13:48:36 +00:00