Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Added .gitignore, updated & commented prepositional logic axioms.HEADmasterDan Krejsa2010-02-283-6/+57
* Initial support for stepping through a proof.Dan Krejsa2009-09-132-17/+44
* Display missing distinct variables conditionsDan Krejsa2009-09-122-3/+5
* Fix distinct variable checking for proof dummy variables.Dan Krejsa2009-09-111-7/+13
* Removed unused StringScanner class.Dan Krejsa2009-08-231-38/+0
* Fix an expression path problem in thm hypothesis expression error handlingDan Krejsa2009-08-151-2/+7
* Allow escaping from search back to original cursor position.Dan Krejsa2009-03-141-11/+33
* After successful 'Verify One' operation, scroll current position into view.Dan Krejsa2009-03-121-0/+4
* Clear searching flag when search text entry loses focus.Dan Krejsa2009-03-111-0/+1
* Add initial text search functionality.Dan Krejsa2009-03-102-10/+165
* Maintain buffer-modified flag, and prevent applying 'GoodTag' or 'ErrorTag' w...Dan Krejsa2009-02-061-6/+55
* Adding pred-set-min-zip.ghi for navigaiting expressions with A. or E. .Dan Krejsa2009-01-111-0/+14
* Internationalization, first pass.Dan Krejsa2009-01-116-232/+915
* Correct sub-expression path reporting on error in add_def()Dan Krejsa2009-01-031-1/+6
* Add a couple of files to MANIFESTDan Krejsa2008-12-211-0/+2
* Fix clean-up after failing import.Dan Krejsa2008-12-141-8/+19
* Adding prop-min-zip.ghi axioms allowing navigation of wffs and applying equiv...Dan Krejsa2008-12-131-0/+52
* Improvements setting good offset. Also, fix some error case ghilbert exceptio...Dan Krejsa2008-12-132-20/+25
* Fix VerifyError argumentDan Krejsa2008-11-281-2/+2
* Set default font to Monospace 10. Fix up error display for error occurring du...Dan Krejsa2008-11-282-6/+15
* Implement selecting proof step or command expression portion with error.Dan Krejsa2008-11-282-21/+58
* Improve absolute path handling some more.Dan Krejsa2008-11-243-8/+17
* Improve absolute path handlingDan Krejsa2008-11-243-8/+18
* Added "verify one" functionality and coloring of good portion of proof.Dan Krejsa2008-11-242-22/+54
* Fix relative path handling for interface filesDan Krejsa2008-11-242-43/+58
* Fix error check for definition with dummiesDan Krejsa2008-11-221-5/+5
* Replace good_mark with good_offset; maintain good_offset according to inserti...Dan Krejsa2008-11-221-17/+29
* Use a GtkSourceView instead of a GtkTextView, initially just for the parenthe...Dan Krejsa2008-11-122-73/+75
* Allow SpockWindow() version to read and save files -- no dialogs yet, though.Dan Krejsa2008-11-111-6/+40
* Initial modifications to enable running outside of sugar.Dan Krejsa2008-11-093-342/+137
* Add mnemonic accelerator key for Verify button.Dan Krejsa2008-11-061-2/+3
* Initial draft of Spock as a text editorDan Krejsa2008-11-062-271/+481
* Update activity.info format.Dan Krejsa2008-10-251-4/+6
* bundlebuilder.start() no longer takes an argument. bundlebuilder generated MA...Dan Krejsa2008-10-252-10/+10
* Removed compiled python codeDan Krejsa2008-10-252-0/+0
* Initial commit.Dan Krejsa2008-10-2519-0/+20731
generated by cgit v0.9.1 at 2024-05-07 04:55:41 (GMT)