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 |
fa8878c6145f652f615a04a5e9c15a1d1327bc92 |
|
09-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
derived more Typeable and Data instances |
024703c9d1326c23e307c0b0d453ed3358e87fe4 |
|
05-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
add json output |
764c796b88ef1d3921d7807683ee7bba3e764a29 |
|
27-Jun-2014 |
Christian Maeder <cmaeder@users.noreply.github.com> |
added source positions to DG node names (for xml output) #1265 |
01ddc4cad68fa84b4e9dd41089ad876329bae5b0 |
|
03-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed ankle to angle bracket
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18568 cec4b9c1-7d33-0410-9eda-942365e851bb |
6b08bf3d86add8676df4400a1803dba9d1041c08 |
|
07-Feb-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
only support curies (as currently used by omdoc)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18468 cec4b9c1-7d33-0410-9eda-942365e851bb |
3b29702156f4c15d97b08578785725b9778c8221 |
|
07-Feb-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid fromJust failure
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18467 cec4b9c1-7d33-0410-9eda-942365e851bb |
e24ccbc27ab90aa0bdb7064fd42e3bb0e0da6174 |
|
17-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid ankle brackets in xml output, i.e.attributes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18443 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
8b130bc25851c830d22a51ba03c8f2b778a6904f |
|
31-May-2013 |
Marcel Zirbel <Marcel.Zirbel@dfki.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17986 cec4b9c1-7d33-0410-9eda-942365e851bb |
0dc82e8da17c3e23c743ec515c256968288430d2 |
|
25-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted spechub/Hets@ba5f2986aec297da29315be641036a8a160658aa as it changed ParamView.xml
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16976 cec4b9c1-7d33-0410-9eda-942365e851bb |
55b14de0878c596dc00920ecac65bab478e930e8 |
|
22-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed more simple ids to IRIs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16963 cec4b9c1-7d33-0410-9eda-942365e851bb |
ba5f2986aec297da29315be641036a8a160658aa |
|
18-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
try without xpath in makeName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16951 cec4b9c1-7d33-0410-9eda-942365e851bb |
2ed246fd6018aaa96b81825598ee74e2f1408cc4 |
|
15-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
let interactive test 1 go through
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16945 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea8e98e298f33f9362293f392c8fb192722b8904 |
|
30-Mar-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Changed Simple-ID to IRI on Library-, Structure- and Architecture-level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16750 cec4b9c1-7d33-0410-9eda-942365e851bb |
26210e52bda19c75ac6a4287d16ce9d8789b68de |
|
02-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added function to rename edge-ids
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16416 cec4b9c1-7d33-0410-9eda-942365e851bb |
0013ad45ed76357d2ca114ce128d9c75d42fc2ff |
|
24-Oct-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
use DevGraph functions instead of (interactive) ChangeGraph ones
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16366 cec4b9c1-7d33-0410-9eda-942365e851bb |
21bac9aa8d0fae4d14308065235814f653241357 |
|
20-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignore xpath when comparing node names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16344 cec4b9c1-7d33-0410-9eda-942365e851bb |
5fcf9c4aaca73698c4c220308c9fd5fc174ae334 |
|
18-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added merging of node modifications
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16318 cec4b9c1-7d33-0410-9eda-942365e851bb |
17be7914f897d0b0c6488eb1391f5695ec74f7e1 |
|
18-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
delete global theorem links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16314 cec4b9c1-7d33-0410-9eda-942365e851bb |
be5ff99194b2ba0a1a35093e0ea21d4da332b526 |
|
17-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
further renaming and moving
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16307 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb5b958b07a002f7f6daa0ac032976979c63b7c3 |
|
17-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed thm scope selector
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16303 cec4b9c1-7d33-0410-9eda-942365e851bb |
0d0278c34a374b29c2d6c58b39b8b56e283d48e8 |
|
14-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
modified dev-graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16292 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc21a74c78d138d5eba4a2b7c7965936f0892d77 |
|
10-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided GeneralizedNewtypeDeriving
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15955 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 |