Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterAdded .gitignore, updated & commented prepositional logic axioms.Dan Krejsa10 years
 
 
AgeCommit messageAuthorFilesLines
2010-02-28Added .gitignore, updated & commented prepositional logic axioms.HEADmasterDan Krejsa3-6/+57
2009-09-13Initial support for stepping through a proof.Dan Krejsa2-17/+44
2009-09-12Display missing distinct variables conditionsDan Krejsa2-3/+5
2009-09-11Fix distinct variable checking for proof dummy variables.Dan Krejsa1-7/+13
2009-08-23Removed unused StringScanner class.Dan Krejsa1-38/+0
2009-08-15Fix an expression path problem in thm hypothesis expression error handlingDan Krejsa1-2/+7
2009-03-14Allow escaping from search back to original cursor position.Dan Krejsa1-11/+33
2009-03-12After successful 'Verify One' operation, scroll current position into view.Dan Krejsa1-0/+4
2009-03-11Clear searching flag when search text entry loses focus.Dan Krejsa1-0/+1
2009-03-10Add initial text search functionality.Dan Krejsa2-10/+165
[...]
 
Clone
git://git.sugarlabs.org/spock/mainline
http://src.sugarlabs.org/spock/mainline