descriptionf891b0ae93c101017ba26e3d6f213d4fb2
last changeWed, 30 Dec 2009 10:11:10 +0000 (13:11 +0300)
shortlog
2009-12-30 Alexey NoskovBinary questions master
2009-12-30 Alexey NoskovSimple binary predicate
2009-12-13 Alexey NoskovRenaming some patterns
2009-11-16 Alexey NoskovChanges in Lspl API
2009-09-29 Alexey NoskovImproved patterns and static axioms
2009-09-29 Alexey NoskovUpdated parser, some fixes in patterns
2009-09-29 Alexey NoskovRefactoring patterns
2009-09-29 Alexey NoskovNew patterns
2009-09-20 Alexey NoskovBanned words, some new patterns
2009-09-20 Alexey NoskovStatements and questions with exists
2009-09-19 Alexey NoskovIterate expression
2009-09-19 Alexey NoskovIt works =)
2009-09-19 Alexey NoskovStarted using transforms
2009-09-18 Alexey NoskovProcessing not in predicates
2009-09-18 Alexey NoskovInteractive mode and simple tests
2009-09-18 Alexey NoskovFirst version
heads
6 years ago master