e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
cddd87cd39be9d031348ef95051c4d14067e1646 |
|
22-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
use usable provers and cons-checkers |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
a2af8492313011f78cbedbfd302dc12150b9f7ef |
|
06-Jun-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
used getDGNodeName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18010 cec4b9c1-7d33-0410-9eda-942365e851bb |
bc6cf10641f40dfc7ae0801e2dcc8bb55ad73a0a |
|
04-Jun-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored creating edge names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18004 cec4b9c1-7d33-0410-9eda-942365e851bb |
c389a353f22234459e94cca1bfc95d5e91ebbd0d |
|
03-Jun-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
correct order of decomposed goals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17997 cec4b9c1-7d33-0410-9eda-942365e851bb |
7a305e46a3ab184f69c5aaf8d325bf171d44df47 |
|
03-Jun-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
support completion of edges in the presence of nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17996 cec4b9c1-7d33-0410-9eda-942365e851bb |
cc5d2a11d698e2ac55a85a5262ecbdd596df6b48 |
|
03-Jun-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
only match names finished with a space
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17995 cec4b9c1-7d33-0410-9eda-942365e851bb |
070daa9179edbc851c15c928fb0908932c9c1335 |
|
03-Jun-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored completion by excluding completed names as further arguments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17993 cec4b9c1-7d33-0410-9eda-942365e851bb |
d2a433726b930294ebf92b7d432853424b9590a9 |
|
03-Jun-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed cruel code duplication
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17992 cec4b9c1-7d33-0410-9eda-942365e851bb |
070ec05ec0d56c421c0ae626120352d5bf195eec |
|
03-Jun-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed #1163, longer commands must come first in the completion list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17991 cec4b9c1-7d33-0410-9eda-942365e851bb |
d957ab830fc9b132602d42199a8badf63595cfb4 |
|
31-May-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
to be tested
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17989 cec4b9c1-7d33-0410-9eda-942365e851bb |
863d4b011d04907325f3eed8e89975e38603cb05 |
|
03-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly split paths under windows
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17281 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1d06b3018b34ede2b3fb6c7fe2ad28cd5ce5b68 |
|
28-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added syntax IRI to theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17252 cec4b9c1-7d33-0410-9eda-942365e851bb |
c208973c890b8f993297720fd0247bc7481d4304 |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
splitted off plain data types for dev-graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15905 cec4b9c1-7d33-0410-9eda-942365e851bb |
7603e32e7a6dc2b38c5ab5fb7716ddc74df58537 |
|
27-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14440 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
abf9a56c113bb1c409fca0b2f29c60a1586c723d |
|
03-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected obtainEdgeList2 error and refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13028 cec4b9c1-7d33-0410-9eda-942365e851bb |
cf4e3ef8ae405824ae1bd39be9762e207836c0e0 |
|
26-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored ordered maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12858 cec4b9c1-7d33-0410-9eda-942365e851bb |
f37f912922f6d7556af4b73c3e3ae38ead344954 |
|
26-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
made imports more robust wrt moving code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12856 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3f7e132e0c214b755c6c4b485f4748c4dd1595c |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12730 cec4b9c1-7d33-0410-9eda-942365e851bb |
a5d95f1f555fbd818a20c44183fa434559b03bbf |
|
26-Sep-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Large refactoring of inspect-commands. Re-added *-current commands.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12525 cec4b9c1-7d33-0410-9eda-942365e851bb |
31400283fb0f00152411b76cfaafce89303adf84 |
|
22-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12486 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea6efb6ae796905b4207d4ef40904787db643a44 |
|
28-Aug-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Code cleanup using hlint and more explicit imports.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12327 cec4b9c1-7d33-0410-9eda-942365e851bb |
7bb4a5dbdc5e29315aaa89fbeb7e41f6946cadd9 |
|
27-Aug-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Some code cleanups.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12319 cec4b9c1-7d33-0410-9eda-942365e851bb |
260bfc3b7dc8ed037b7d98ee044302415db6fcd7 |
|
16-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored hasOpenConsStatus for nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11957 cec4b9c1-7d33-0410-9eda-942365e851bb |
041f100aad732af02d566c18e3295140bc0c3ca1 |
|
18-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored EdgeId showing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11815 cec4b9c1-7d33-0410-9eda-942365e851bb |
de2478d5c86fdf58645ee7e351767cfdd047a2da |
|
18-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate utilities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11814 cec4b9c1-7d33-0410-9eda-942365e851bb |
124c859ba4741d5e36d5d98634886b430b7af093 |
|
17-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed most PGIP stuff to CMDL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11709 cec4b9c1-7d33-0410-9eda-942365e851bb |