spock/mainline - mainline

Branch	Commit message	Author	Age
master	Added .gitignore, updated & commented prepositional logic axioms.	Dan Krejsa	14 years


Age	Commit message	Author	Files	Lines
2010-02-28	Added .gitignore, updated & commented prepositional logic axioms.HEAD master	Dan Krejsa	3	-6/+57
2009-09-13	Initial support for stepping through a proof.	Dan Krejsa	2	-17/+44
2009-09-12	Display missing distinct variables conditions	Dan Krejsa	2	-3/+5
2009-09-11	Fix distinct variable checking for proof dummy variables.	Dan Krejsa	1	-7/+13
2009-08-23	Removed unused StringScanner class.	Dan Krejsa	1	-38/+0
2009-08-15	Fix an expression path problem in thm hypothesis expression error handling	Dan Krejsa	1	-2/+7
2009-03-14	Allow escaping from search back to original cursor position.	Dan Krejsa	1	-11/+33
2009-03-12	After successful 'Verify One' operation, scroll current position into view.	Dan Krejsa	1	-0/+4
2009-03-11	Clear searching flag when search text entry loses focus.	Dan Krejsa	1	-0/+1
2009-03-10	Add initial text search functionality.	Dan Krejsa	2	-10/+165
[...]

Clone
git://git.sugarlabs.org/spock/mainline
http://src.sugarlabs.org/spock/mainline