root/trunk

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(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
(edit) @12750 [12750] 3 weeks kristina Renamed a variable
(edit) @12749 [12749] 3 weeks kristina Added headers and algorithm descriptions
(edit) @12748 [12748] 3 weeks kristina Added the implementation of final_union for DFOL
(edit) @12747 [12747] 3 weeks maeder re-added cons-checker sublogic
(edit) @12746 [12746] 3 weeks kristina Added implementations of (co)generated signatures for DFOL
(edit) @12745 [12745] 3 weeks maeder refactored consistency checkers
(edit) @12744 [12744] 4 weeks raider shortened menus of nodes and edges. shortened function names. names of …
(edit) @12743 [12743] 4 weeks maeder shortened comorphism name
(edit) @12742 [12742] 4 weeks maeder adjusted display
(edit) @12741 [12741] 4 weeks mcodescu removed node M'
(edit) @12740 [12740] 4 weeks maeder changed circles for internal nodes to ellipses
(edit) @12739 [12739] 4 weeks maeder use ASCII char * for inconsistent
(edit) @12738 [12738] 4 weeks codruta Fixed ExtModal/Logic?_ExtModal.hs
(edit) @12737 [12737] 4 weeks codruta Fixed some errors in ExtModal/Logic?_ExtModal.hs
(edit) @12736 [12736] 4 weeks codruta Fixed the warnings in ExtModal?
(edit) @12735 [12735] 4 weeks hausmann getting better…
(edit) @12734 [12734] 4 weeks hausmann Typo in modal-CK rule. \neg B_1 -> \neg B_n
(edit) @12733 [12733] 4 weeks maeder corrected ExtModal? logic
(edit) @12732 [12732] 4 weeks codruta Changed ExtModal/Logic?_ExtModal.hs
(edit) @12731 [12731] 4 weeks maeder removed redundant imports
(edit) @12730 [12730] 4 weeks maeder removed redundant imports
(edit) @12729 [12729] 4 weeks hausmann Typos $R_{sc}$ vs. \mathcal{R}_{sc}, CKCEM-rule adapted to general format
(edit) @12728 [12728] 4 weeks hausmann Justification of CKCEM, adressed Termination/correctness, CK-rule in box …
(edit) @12727 [12727] 4 weeks maeder removed unused imports
(edit) @12726 [12726] 4 weeks mcodescu made an algorithm generic to reuse it for OWL
(edit) @12725 [12725] 4 weeks maeder hlinted
(edit) @12724 [12724] 4 weeks adrian Some errors fixed
(edit) @12723 [12723] 4 weeks maeder changed to ASCII
(edit) @12722 [12722] 4 weeks maeder adjusted to changeset:12698
(edit) @12721 [12721] 4 weeks maeder changed header
(edit) @12720 [12720] 4 weeks maeder changed comment only
(edit) @12719 [12719] 4 weeks maeder removed duplicate code and now unnecessary renaming
(edit) @12718 [12718] 4 weeks maeder CASL2PCFOL contains no inline axioms any more
(edit) @12717 [12717] 4 weeks raider hidden edges are now filtered befor calculating compressed paths. see #753
(edit) @12716 [12716] 4 weeks kristina Corrected the headers for files
(edit) @12715 [12715] 4 weeks kristina Removed whitespaces
(edit) @12714 [12714] 4 weeks kristina Removed too long lines Added headers to files
(edit) @12713 [12713] 4 weeks kristina Added a missing view
(edit) @12712 [12712] 4 weeks kristina Restoring accidentally deleted files
(edit) @12711 [12711] 4 weeks kristina Adding the computation of colimits for DFOL
(edit) @12710 [12710] 4 weeks kristina Adding test specifications for DFOL colimits
(edit) @12709 [12709] 4 weeks maeder sort relation must be closed for mostRight
(edit) @12708 [12708] 4 weeks maeder stored DMU text in signature rather than as sentence
(edit) @12707 [12707] 4 weeks maeder expect .xml source for logic DMU
(edit) @12706 [12706] 4 weeks csliam Removed the projection axiom form the inline system. Changed the name of …
(edit) @12705 [12705] 4 weeks csliam removed identity axiom form inline system
(edit) @12704 [12704] 4 weeks maeder change default logic for imported libs after seeing DMU
(edit) @12703 [12703] 4 weeks maeder check for the empty string
(edit) @12702 [12702] 4 weeks hausmann Added some typed sequent rules
(edit) @12701 [12701] 4 weeks maeder replaced sort and terms by var-decls
(edit) @12700 [12700] 4 weeks codruta Added MorphismExtension?.hs
(edit) @12699 [12699] 4 weeks maeder use curried functions
(edit) @12698 [12698] 4 weeks maeder cleaned up
(edit) @12697 [12697] 4 weeks csliam Removed transitivity axiom from inline system
Note: See TracRevisionLog for help on using the revision log.