Changes in README http://src.iws.cs.ovgu.de/source/rss/hets/README en Copyright 2005 Java README: add a version string number 4, 5 note /hets/README - 2f0e7c8caf8083c9634f64c4bf22765c46e9a51e Jens Elkner <jel+git@iks.cs.uni-magdeburg.de> update docs wrt. new pkg names/organization /hets/README - 68ae7b41aca2f24dbbc376becc45a7b713cdc48d Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> PPA dependency fix /hets/README - 63f101eea51c833ecf28ec5b1ff509595c9cc54e Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> add TeX/PDF support note to README /hets/README - 98ea87ba6c1079d65391ba3b4d3dc472eb75796b Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> make travis CI happy; add a "test" note to the README /hets/README - afd59fd120e5e150bf726ddd25a7e2a4bb6e8908 Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> fix documentation /hets/README - 0490829cf473c66c1f2e06d09dd5bc1937121198 Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> adjusted some links /hets/README - ad5671edfa2ed767ec4fdc2f3099603d6fe8b97e cmaeder <cmaeder@users.noreply.github.com> further updated git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18592 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/README - f2eadf57e49d36f01b58ad547657140c9d50afb2 Christian Maeder <Christian.Maeder@dfki.de> updated git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18591 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/README - a7fd2cfb9493db122a449809b6d21e15f0356e8b Christian Maeder <Christian.Maeder@dfki.de> updated git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14663 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/README - dce6436c6ad1863558c14e15b0ff2d5a0bdd45b4 Christian Maeder <Christian.Maeder@dfki.de> adjusted git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13401 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/README - e472118997ef12138109ffa93a265292c5d20a6c Christian Maeder <Christian.Maeder@dfki.de> added environment variables git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11849 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/README - f2702f0db4fab72edae97be5132f54c2a32a0283 Christian Maeder <Christian.Maeder@dfki.de> extended for Mac users git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10668 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/README - 947d21ed43ec33fac7c3772470d984479ee5f64a Christian Maeder <Christian.Maeder@dfki.de> stick to ghc-6.8.2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10156 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/README - e66eb9e957db0999963c12f174d32191c0192bdb Christian Maeder <Christian.Maeder@dfki.de> increase ghc version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10155 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/README - 315aeadc65d4ffe2cc04be2733b33de3674988a6 Christian Maeder <Christian.Maeder@dfki.de> modified git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8755 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/README - 5f184698e58f31e670c54c12d858a7c7322277b4 Christian Maeder <Christian.Maeder@dfki.de> replaced tzi git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8255 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/README - c68c8248d86d5bea90acaff0433ff5ab8dee0b11 Christian Maeder <Christian.Maeder@dfki.de> use ghc-6.6, removed outdated overview git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7253 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/README - ff0e2694215a5ab5d0a9d7af9c8f791b4bfbcd6e Christian Maeder <Christian.Maeder@dfki.de> removed unsafe coerce git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4326 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/README - d27ad22f77ca7399742b54e9dce2cdceed12d5e0 Christian Maeder <Christian.Maeder@dfki.de> updated to uDrawGraph and Programatiaca git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4236 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/README - f63a335a037098b08817e7137087d42240be74c1 Christian Maeder <Christian.Maeder@dfki.de>