root

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @12850 [12850] 39 hours maeder revert changeset 12847 since provers are unable to proof all theorems …
(edit) @12849 [12849] 3 days maeder extract name from annotations
(edit) @12848 [12848] 3 days maeder added export list
(edit) @12847 [12847] 3 days maeder keep all theorems
(edit) @12846 [12846] 3 days maeder removed warning and refactored
(edit) @12845 [12845] 3 days maeder combine is a special case of sequence
(edit) @12844 [12844] 3 days mgross On Mac use curl instead of wget (since wget does not exist).
(edit) @12843 [12843] 3 days mgross Fixed SPASS download URLs.
(edit) @12842 [12842] 4 days maeder compute theories differently and start to set pending edges
(edit) @12841 [12841] 4 days maeder print pending link state
(edit) @12840 [12840] 4 days maeder removed too long line
(edit) @12839 [12839] 5 days maeder fixed parsing balanced maude stuff
(edit) @12838 [12838] 5 days adrian Bug fixed when introducing Maude specifications in CASL specifications
(edit) @12837 [12837] 6 days maeder added a pending field to DG links
(edit) @12836 [12836] 7 days raider fixed deadlock bug in GtkProverGUI. removed GUIMVar from GInfo, because it …
(edit) @12835 [12835] 9 days raider spelling mistake
(edit) @12834 [12834] 9 days raider fixed bug with invert. consistency checker tries to select previously …
(edit) @12833 [12833] 9 days raider Gtk consistency checker was broken, fixed. removed all warnings from …
(edit) @12832 [12832] 9 days maeder compute theory after reading from omdoc files
(edit) @12831 [12831] 9 days maeder make it usable for Isabelle 2009
(edit) @12830 [12830] 9 days raider Removed possibility to pass action function to dialogs. no need for …
(edit) @12829 [12829] 9 days raider 'Reload Library' and 'Translate Graph' was broken. All GUI modules are now …
(edit) @12828 [12828] 11 days maeder removed svn:executable
(edit) @12827 [12827] 11 days maeder no need to maintain an alternative parser
(edit) @12826 [12826] 11 days maeder remove test_parser from tests
(edit) @12825 [12825] 11 days maeder hlinted
(edit) @12824 [12824] 11 days maeder updated hlint
(edit) @12823 [12823] 11 days maeder implemented HasCASL's toItem method for .pp.xml output
(edit) @12822 [12822] 11 days maeder hlinted
(edit) @12821 [12821] 11 days maeder indicate language extension
(edit) @12820 [12820] 11 days maeder hlinted
(edit) @12819 [12819] 11 days maeder removed duplicate imports
(edit) @12818 [12818] 11 days maeder adjusted to changeset:12816
(edit) @12817 [12817] 12 days maeder hlinted
(edit) @12816 [12816] 12 days maeder only use two states proved consistent or inconsistent
(edit) @12815 [12815] 12 days maeder activate timeout independent from extra options
(edit) @12814 [12814] 12 days maeder added RelationName? construct and further cleaned up
(edit) @12813 [12813] 12 days maeder wibble
(edit) @12812 [12812] 13 days raider fixed bug in prover gui. selection with shift or control key and mouse did …
(edit) @12811 [12811] 13 days csliam fixed bug with sort name, and axiom name conversion to Isabelle where the …
(edit) @12810 [12810] 13 days maeder avoid endless value parsing
(edit) @12809 [12809] 13 days maeder test for eof only once
(edit) @12808 [12808] 13 days raider GtkProverGUI is woking now.
(edit) @12807 [12807] 13 days maeder refactored
(edit) @12806 [12806] 13 days mgross Fix for #750
(edit) @12805 [12805] 13 days maeder hlinted
(edit) @12804 [12804] 2 weeks mgross Proven nodes and goals weren't saved in CMDL mode. Now the LibEnv? is …
(edit) @12803 [12803] 2 weeks maeder treat iso-decls properly
(edit) @12802 [12802] 2 weeks maeder use transReduce to get minimal supersorts
(edit) @12801 [12801] 2 weeks maeder changed disambiguation
(edit) @12800 [12800] 2 weeks maeder consider isomorphic sorts for totality
(edit) @12799 [12799] 2 weeks maeder refactored
(edit) @12798 [12798] 2 weeks maeder try to make functions total first
(edit) @12797 [12797] 2 weeks maeder made some functions partial and adjusted op kinds in formulas
(edit) @12796 [12796] 2 weeks maeder added blank before .
(edit) @12795 [12795] 2 weeks maeder corrected haddock
(edit) @12794 [12794] 2 weeks maeder made CASL2TopSort more usable
(edit) @12793 [12793] 2 weeks maeder corrected symmetry axioms
(edit) @12792 [12792] 2 weeks csliam Added Isabelle functions Image and Range. Drastically changed how …
(edit) @12791 [12791] 2 weeks maeder separated GUI from CMDL
(edit) @12790 [12790] 2 weeks maeder removed unused cDisplayGraph
(edit) @12789 [12789] 2 weeks maeder added TESTTARGETFILES for binaries
(edit) @12788 [12788] 2 weeks maeder also do not create a local thm link if there is a definition link
(edit) @12787 [12787] 2 weeks mgross Replaced Node- and Edge-Info in CMDL to display the same output as in the …
(edit) @12786 [12786] 2 weeks maeder check for MAUDE_LIB variable
(edit) @12785 [12785] 2 weeks mgross Replaced MVar with IORef.
(edit) @12784 [12784] 2 weeks maeder fail by returning Nothing for wrong types
(edit) @12783 [12783] 2 weeks raider fixed some bugs. gtk prover gui almost working. moved GUIMVar to HTkUtils
(edit) @12782 [12782] 2 weeks raider unnamed nodes with outgoing or incoming unproven edges are not hidden …
(edit) @12781 [12781] 3 weeks maeder implemented OWL generatedSign
(edit) @12780 [12780] 3 weeks maeder check for duplicate def edges
(edit) @12779 [12779] 3 weeks raider changed selection mode of list for gtk. removed old files. implemented gtk …
(edit) @12778 [12778] 3 weeks maeder refactored consistency checker interface
(edit) @12777 [12777] 3 weeks maeder current hierarchy without cycles
(edit) @12776 [12776] 3 weeks maeder moved lookup square and added Ord instances
(edit) @12775 [12775] 3 weeks maeder hlinted
(edit) @12774 [12774] 3 weeks maeder moved leqClasses
(edit) @12773 [12773] 3 weeks maeder use qualified uni names via uni/mk/ReplaceModuleNames
(edit) @12772 [12772] 3 weeks maeder clean up /tmp on denebola filled by mathServe
(edit) @12771 [12771] 3 weeks maeder shortened error message and put theory text into a hint
(edit) @12770 [12770] 3 weeks maeder corrected variable sort
(edit) @12769 [12769] 3 weeks maeder replace ' ' char to avoid duplicate axioms
(edit) @12768 [12768] 3 weeks maeder added replace function
(edit) @12767 [12767] 3 weeks maeder make all ops total for SubCFOL
(edit) @12766 [12766] 3 weeks maeder also remove owl2xml namespace
(edit) @12765 [12765] 3 weeks maeder improved error message for OWL views
(edit) @12764 [12764] 3 weeks maeder implemented views
(edit) @12763 [12763] 3 weeks csliam Changed how the trasitivity and identity axiom names are produced, …
(edit) @12762 [12762] 3 weeks csliam Created functions to generate axiom names Used these functions in …
(edit) @12761 [12761] 3 weeks maeder use different names
(edit) @12760 [12760] 3 weeks maeder removed inline axioms and created axioms directly
(edit) @12759 [12759] 3 weeks maeder use intended arg_res names
(edit) @12758 [12758] 3 weeks maeder exclude a cyclic transitivity (as before)
(edit) @12757 [12757] 3 weeks maeder re-ordered and renamed generated axioms
(edit) @12756 [12756] 3 weeks raider updated doc
(edit) @12755 [12755] 3 weeks raider equalize naming scheme of Gtk and HTk files.
(edit) @12754 [12754] 3 weeks raider Added a Gtk version of the generic prover gui. GenericATP.hs moved to …
(edit) @12753 [12753] 3 weeks maeder removed inline axioms and created axioms directly
(edit) @12752 [12752] 3 weeks kristina Removed too long lines
(edit) @12751 [12751] 3 weeks kristina Removed too long lines
Note: See TracRevisionLog for help on using the revision log.