005603425396f16a79d0443c251649cd505909f8 |
|
05-Feb-2018 |
Jens Elkner <jel+git@iks.cs.uni-magdeburg.de> |
use wget if haskell-http-client modules is too old or unavailable |
d23ecf32e56cce69bc42eb5c96dddf7909c623ab |
|
17-Jan-2018 |
jelmd <jelmd@users.noreply.github.com> |
simplify version checking in makefiles (#1830)
fix #1830: simplify version checking in makefiles; add GHC_PKG_FLAGS, GHC_FLAGS |
e4cafd087b052ccacff92df335ed0ed5e016f490 |
|
08-Jan-2018 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Use GTK and Haskeline on macOS. (#1723) |
aa4fbedb87724ee8397a269d364674f763282d04 |
|
26-Jul-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Obey reviewers #2. |
f8597aabc9db75dcf504e3151faf220a165c90d1 |
|
25-Jul-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Use stack only if it exists. Upgrade it if it's outdated. |
96a5d8fc69648eed5673b93e8fedcdf6fb9c0e0d |
|
11-Jun-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Check if stack exists. |
ac837064ee3c77c69685dcfc48cd52f6e452a4ee |
|
09-Jun-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Remove one variable. |
ab4256496e72886018b78571057331f373da6883 |
|
09-Jun-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Create a loose stack and clean_stack target to setup stack. |
756f31c6dd0843b4435c0ca66485ec19139eb1a8 |
|
09-Jun-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Fix some of the issues stated in the review. |
3de77a6e8f37af46de7047a9b83ee69b46d13095 |
|
08-Jun-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Enable -rtsopts for GHC 7 *and above*. |
4c7cb5671b356d873d67829ec8062a5083c1ee0e |
|
08-Jun-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Replace system-ghc with haskell-stack. |
961087225d1d2b9534152a346d1a3755ed952fcd |
|
29-Apr-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
programatica: now per default disabled; misc pkg related fixes |
a84a8d508a0778b13a4d097a6dd34b95feae78ac |
|
29-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
Makefile cleanup/fixes + new install* features |
d05c733795c61d2964e7df84c52396b80c82a2db |
|
16-Dec-2015 |
cmaeder <c.maeder@jacobs-university.de> |
remove (unneeded?) -fcontext-stack option |
3c39e5cbfd4e6d547e2f7a9505a5d39c32118186 |
|
08-Dec-2015 |
cmaeder <c.maeder@jacobs-university.de> |
support glade with ghc-7.10 |
853f27e556cb4e8c53f535df8e7b0ad665cf9bbc |
|
06-Nov-2014 |
notanartist <notanartist@outlook.com> |
problems with httptypes >= .8.5 |
8037b7d21021a94b69e4a092f5c98e491333d939 |
|
09-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
reintegrated logic Haskell (with null json output) |
8733d12c944d57a250b466973f2271b491ba98f4 |
|
09-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
derived more Typeable instances |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
be716603950fe7db5879ced59924011a10fba71f |
|
11-Sep-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
removed unnecessary test |
7f2a46ddda1923440e10bd62abc5567601011b12 |
|
17-Jul-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed taxonomy tool
because in fgl 5.5. Data.Graph.Inductive.Graphviz was moved to graphviz |
8723ec450f2e7a024230467c0c28a3f154905483 |
|
15-Jul-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
conditional compilation for warp version 1 (precise), 2 (trusty) and 3 (latest) |
3f8a8ae9e09f8c80522448dbb6f5b27d6828ed5e |
|
10-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow warp (and wai) version 2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18377 cec4b9c1-7d33-0410-9eda-942365e851bb |
d4263171d0ce2cbc390a7b44bff98e8b3c0f8ce7 |
|
13-Sep-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
no longer support the old server
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18176 cec4b9c1-7d33-0410-9eda-942365e851bb |
793b59c0635d5925018de0a4f6f763449fca6b3e |
|
31-Jan-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
support newer haskeline package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17739 cec4b9c1-7d33-0410-9eda-942365e851bb |
742671cd03de37ede2ad3acdf94bdced74c3cd75 |
|
10-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
support newer hexpat version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17174 cec4b9c1-7d33-0410-9eda-942365e851bb |
39e58e8e597ae8acd123a7fbc37e5299fd5fb1b2 |
|
07-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
stop support for warp-0.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17122 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8b72918958e1c69ae8f509a475050e2a324d521 |
|
26-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
exclude /opt/local stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17064 cec4b9c1-7d33-0410-9eda-942365e851bb |
232c13ff6847a6f2bac7163392f80ab692cd7774 |
|
25-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
also extract path bits and allow warp-1.2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16830 cec4b9c1-7d33-0410-9eda-942365e851bb |
3dde4051c307b609159a097f08a05108fdd036ef |
|
11-Apr-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
compatibility with HaXml 1.22.* (DtdToHaskell produced invalid code, Api change (QName instead of strings))
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16782 cec4b9c1-7d33-0410-9eda-942365e851bb |
3922f237bd762ca3a06308c910eb5b7d8acb8b7b |
|
23-Mar-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow tar-0.4.0.0
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16742 cec4b9c1-7d33-0410-9eda-942365e851bb |
57026bc09337d158b89775048a9bcc9c17d825ca |
|
15-Mar-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
checked for HaXml
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16727 cec4b9c1-7d33-0410-9eda-942365e851bb |
f926f6846c707d8ef76a85f430168bad51a5085f |
|
06-Feb-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added new warp and wai-extra version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16649 cec4b9c1-7d33-0410-9eda-942365e851bb |
467c63ee967cbe91acc31bb9bf4cec1ac837d21d |
|
23-Jan-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
decreased context-stack to the minimum
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16621 cec4b9c1-7d33-0410-9eda-942365e851bb |
b6d11ac9a9c43ae636a4d968eb7542748b46296d |
|
22-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
exclude test without HTTP
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16573 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7c56dd52801632f689ad0986bbae26505d67d7c |
|
22-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow compilation without the HTTP package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16572 cec4b9c1-7d33-0410-9eda-942365e851bb |
28b9e36e0166fd08c0180bcdcfc1b96f394919b8 |
|
07-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed rdf4h check
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16536 cec4b9c1-7d33-0410-9eda-942365e851bb |
e4f0eaffd002e9e553ee113be33f9aa6e4181c43 |
|
06-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow compilation without rdf4h
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16524 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae7ff2666f63daf6974b3c89cdc0f22eafa2692d |
|
17-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
separate ghc7 -rtsopts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16461 cec4b9c1-7d33-0410-9eda-942365e851bb |
39e48703146fdab64cab3b9aee7832ac3dcb9d44 |
|
17-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
haddock of ghc-7.2 needs to pass context-stack option to ghc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16456 cec4b9c1-7d33-0410-9eda-942365e851bb |
eae0d62755147d991cc3e903f74f98ac31a7cd42 |
|
10-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-add support for the old simple server
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16439 cec4b9c1-7d33-0410-9eda-942365e851bb |
902d299c0b5130110b75962b4b1dbf19d7227264 |
|
10-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected hexpat check
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16438 cec4b9c1-7d33-0410-9eda-942365e851bb |
3162eeb73755815cd3b6dc79ca4f65afa61d510d |
|
10-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use ghc-pkg latest instead of version field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16437 cec4b9c1-7d33-0410-9eda-942365e851bb |
99b26e2ab8ba89bc9a050c1524137eb6269e2753 |
|
09-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to warp server
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16430 cec4b9c1-7d33-0410-9eda-942365e851bb |
b959b3ff2f129f3d88ad43c23bad0e78d05739d1 |
|
31-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
try without transformers for lucid and maverick
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16400 cec4b9c1-7d33-0410-9eda-942365e851bb |
df3a05f96e3bc3d83c237bf2d1d636a806a8ea78 |
|
28-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
support natty
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16397 cec4b9c1-7d33-0410-9eda-942365e851bb |
f423124aea4f1c374490a210879796068a5031b4 |
|
02-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
support older xml packages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16077 cec4b9c1-7d33-0410-9eda-942365e851bb |
d7f2ea4f5ff1dbfa24035700c4378b657d86767e |
|
25-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove OWL test target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16029 cec4b9c1-7d33-0410-9eda-942365e851bb |
1bfe9bf8616b243f12d79db81ca6b64211e53068 |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
relaxed unix test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15896 cec4b9c1-7d33-0410-9eda-942365e851bb |
55cf6e01272ec475edea32aa9b7923de2d36cb42 |
|
04-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghc-7.2 requires language with flexible instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15876 cec4b9c1-7d33-0410-9eda-942365e851bb |
9703d28c412945aa7363171a01f71bed6ddc7d1c |
|
02-Aug-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
(make) added xml-version 1.3.9 to the test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15841 cec4b9c1-7d33-0410-9eda-942365e851bb |
7059fdf30dd36a0cf809b6c293cd3dc106e3ad3d |
|
22-Jul-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
(make) removed new compilerflag and added errormsg mechanism to makefile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15670 cec4b9c1-7d33-0410-9eda-942365e851bb |
f781b556585f0605c9f8eb48009a00d225e67848 |
|
21-Jul-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
(make) checks for version of xml 1.3.7 or later
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15659 cec4b9c1-7d33-0410-9eda-942365e851bb |
31a19b643466050266ab37ca41b2b0ecd928eb3c |
|
12-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
rely on xml >= 1.3.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15528 cec4b9c1-7d33-0410-9eda-942365e851bb |
29703a78d99e901a34d0eadd79c5d0c4c6898489 |
|
07-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
add sun runpath /opt/csw/lib for gtkglade
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15079 cec4b9c1-7d33-0410-9eda-942365e851bb |
b48da8eae96db9e4966ffb2ea19cb28330e49c64 |
|
14-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to compile with a hidden parsec1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14704 cec4b9c1-7d33-0410-9eda-942365e851bb |
30f14756e4409a1ce4f17f26757b667ae9bbde64 |
|
02-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added -rtsopts for ghc-7.0.2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14654 cec4b9c1-7d33-0410-9eda-942365e851bb |
ddf25de550859f4fb093d78ffb4f11e5568c35de |
|
25-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use parsec1 if available
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14420 cec4b9c1-7d33-0410-9eda-942365e851bb |
963c7ecece0ac78882bbfcbb0530d547bbb19554 |
|
18-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
fcontext-stack needs to be passed to haddock, too
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14237 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c8427a02f8437d550612667add2996c0282e57f |
|
17-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
relax HTTP check
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14232 cec4b9c1-7d33-0410-9eda-942365e851bb |
dba6b2e42b046ece16ee96f563d19da61e6e8316 |
|
08-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed -L/usr/lib as it warns under x86_64
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14204 cec4b9c1-7d33-0410-9eda-942365e851bb |
849f6befc3161e9e4e0463d23dbcdc0efce4802f |
|
02-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added -fcontext-stack for ghc-7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14187 cec4b9c1-7d33-0410-9eda-942365e851bb |
0700f51d80b2e6f44dcb0dbb6afc478f9ac76670 |
|
02-Nov-2010 |
Serge Autexier <serge.autexier@dfki.de> |
added /usr/lib for macosx
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14184 cec4b9c1-7d33-0410-9eda-942365e851bb |
526e7f36639cb58e3c99a54bea082499a6b04a25 |
|
06-Oct-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added directory navigation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14109 cec4b9c1-7d33-0410-9eda-942365e851bb |
d27b1887e61f1dc53d77c37f59dbf5019242a686 |
|
22-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added testing server
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14087 cec4b9c1-7d33-0410-9eda-942365e851bb |
aca2ab791cb1945ec9efacc07d68c3c424574f4f |
|
08-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
copied tabular sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13543 cec4b9c1-7d33-0410-9eda-942365e851bb |
705e82c84b622acb38948903e11358fcf8114acc |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
extensions are given in sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13495 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ca1fe655d7d4e35e59a082b5955b306643329d0 |
|
01-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
removed hxtfilter from Hets and fixing uris and output directories for the omdoc interface
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13477 cec4b9c1-7d33-0410-9eda-942365e851bb |
4a81f31288324ffe94324a634c6b27c136ab2be4 |
|
31-May-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
integrated new version of xml which supports bytestrings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13465 cec4b9c1-7d33-0410-9eda-942365e851bb |
f0a8cb240fea2ac6868275be657f48f4470d9932 |
|
21-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added hexpat parser lib and a flag to compile with or without this lib. To use this parser one need to install 'hexpat' from Hackage
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13367 cec4b9c1-7d33-0410-9eda-942365e851bb |
7862a43681d2d9e1580e0e1e9e587501deca0ab6 |
|
25-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use latest to avoid using a newer tabular version that does not work
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13118 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c90da13b8129fe511529f73bb030fa90ec98155 |
|
19-Feb-2010 |
Martin Kühl <martin.kuehl@gmail.com> |
When checking the version of the `time' package, make sure we check the
latest installed version.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13099 cec4b9c1-7d33-0410-9eda-942365e851bb |
b79b05e4e9abe218e584273a9962d76cd41e390c |
|
16-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
inverted TIME_PACKAGE flag
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13076 cec4b9c1-7d33-0410-9eda-942365e851bb |
0ffb56923aba245392e94067344fb6e252222d5c |
|
22-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
consider unix-2.4.x package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12952 cec4b9c1-7d33-0410-9eda-942365e851bb |
170d3351a523430ce45aa2fe6e1d6d9d69680139 |
|
22-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
gtk2hs-0.10.1 required
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12949 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1c309b2dbf9a0415c78cbbcbcb2b5ba5d10b776 |
|
09-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated unix-package dependency
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12613 cec4b9c1-7d33-0410-9eda-942365e851bb |
e4aeced5394758cc762e8817d031855cc1abb02c |
|
09-Oct-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Removed shellac dependency - now only haskeline is used.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12609 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab0c4f4b90b7e7745f5cbed31fbfc64be407d5d9 |
|
02-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed editline
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12569 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1daf531c303b260d71d799c638a039682c00845 |
|
19-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added an inexact HTTP_PACKAGE check
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12161 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e8b136f23ed57d40ee617f49bcac37830b58cab |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Binary stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12102 cec4b9c1-7d33-0410-9eda-942365e851bb |
c911a0ec80ca4a178399c68f1e28be4e2bf42fce |
|
11-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive Binary instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12079 cec4b9c1-7d33-0410-9eda-942365e851bb |
55ad4fa14f2e3581720a878c7725d7ada3b681d3 |
|
11-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed obsolete flags
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12073 cec4b9c1-7d33-0410-9eda-942365e851bb |
b84d7a4ac7e1e4a5888f0db3a6384dd84072fd84 |
|
07-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
MATHSERVER no longer depends on HXTFILTER
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12043 cec4b9c1-7d33-0410-9eda-942365e851bb |
7e11afd342a92b27991109105876609ed1cd5281 |
|
06-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed HaXml stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12036 cec4b9c1-7d33-0410-9eda-942365e851bb |
5cac386aed997b7ae088e3b617fa4b3a9efbd74b |
|
17-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
check for time-1.1.4 in ghc-6.10.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11972 cec4b9c1-7d33-0410-9eda-942365e851bb |
ff2cced55f8db4fe7b72b46f7852018e1e3283e4 |
|
04-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
new time package with Typeable instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11785 cec4b9c1-7d33-0410-9eda-942365e851bb |
0da8c0830787435fe62103cb23dfafd5c06155c0 |
|
04-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed from compatline to haskeline
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11780 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5b382d402ab1d9e576fe5d01d59c2c56dd90969 |
|
15-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
-XCPP takes too long
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11687 cec4b9c1-7d33-0410-9eda-942365e851bb |
91b3380a74afbf09dc0e7a54c9ee6de26dfbc42a |
|
06-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use uni with hierarchical modules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11649 cec4b9c1-7d33-0410-9eda-942365e851bb |
ead7b3bf40a2e00fc8a5cca0763029ab931afcf3 |
|
06-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
no longer use UNI_PACKAGE_CONF file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11648 cec4b9c1-7d33-0410-9eda-942365e851bb |
b6427172803da8cc35b3f28cd2ddf240e075ed27 |
|
03-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
also allow version 0.10.0
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11643 cec4b9c1-7d33-0410-9eda-942365e851bb |
d12af746feb5c608c20fa9867ec14f657a9b536d |
|
26-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
but cpp warns about missing final newlines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11593 cec4b9c1-7d33-0410-9eda-942365e851bb |
7e9b6a126a638c1c3c7523d4b16ce339fad59af2 |
|
26-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
without cpp should be faster
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11591 cec4b9c1-7d33-0410-9eda-942365e851bb |
83e814d7ac048930de2fe34b5b23d883654a1777 |
|
25-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
enforce better portability
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11578 cec4b9c1-7d33-0410-9eda-942365e851bb |
920641c66390a85497e367ce5c7a10af445a93cc |
|
02-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted to new tar version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11452 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc8575383c824a3369edd5ef0bd8b6c9a8949355 |
|
28-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11451 cec4b9c1-7d33-0410-9eda-942365e851bb |
2686d4438ffde954ffbb3a3f307642a893b33570 |
|
24-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
tar VSE specification files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11425 cec4b9c1-7d33-0410-9eda-942365e851bb |
5580ab3e64410186ccd36cde8a94282d8757ac0d |
|
20-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
strip via ghc linker option
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11412 cec4b9c1-7d33-0410-9eda-942365e851bb |
a9de0a2f34860a24f457c777e740b7e87e6e3827 |
|
24-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed language options for ghc-6.10.1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11193 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e9e95ba35a68f3c767bc0b23ebf9e904e442517 |
|
19-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
support uni version 2 with hierarchical module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11173 cec4b9c1-7d33-0410-9eda-942365e851bb |
a91757fe2b73b73c43f41b6aa29876a1ae9e9b1b |
|
18-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added comment for profiling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11171 cec4b9c1-7d33-0410-9eda-942365e851bb |
bea667f53e35535aa05b52ad8d5e5aa47f793c3c |
|
04-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to run with editline directly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11154 cec4b9c1-7d33-0410-9eda-942365e851bb |
b36f451c8ccd631dac70b541450c880b65d86f3b |
|
19-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
call ghci without -DGTKGLADE
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11038 cec4b9c1-7d33-0410-9eda-942365e851bb |
8bab1540f30a4e89c64ca2f8ebd23e9046388069 |
|
05-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
separate variables for -DHXTFILTER and -DNOMATHSERVER
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10950 cec4b9c1-7d33-0410-9eda-942365e851bb |
12251a9d23f842673978d0ad6692527ef320c55d |
|
31-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added TABULAR_PACKAGE
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10925 cec4b9c1-7d33-0410-9eda-942365e851bb |
52d0337a7483233a6d4484d113a30d10474182c0 |
|
30-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
another OWL11 left over
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10913 cec4b9c1-7d33-0410-9eda-942365e851bb |
7fe4aa6d1e595364b2fd66fe3936e353d6e07d86 |
|
24-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
made OWL independent from HXT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10874 cec4b9c1-7d33-0410-9eda-942365e851bb |
79bc8f5fe2f1444e87da973a07d7cb9fc9342c22 |
|
21-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved common variables to var.mk
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10851 cec4b9c1-7d33-0410-9eda-942365e851bb |