| caaded2544eeeb44ffd821a14eafbd19bbf7cc21 |
|
03-Feb-2015 |
cmaeder <cmaeder@users.noreply.github.com> |
also install hetcasl.sty |
| 0a41d344f4e1320a6f3f3afbfa8d34a9c0e76f55 |
|
18-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
circumvent ppa build problem (ghc <= 7.6.3) |
| 8d1ccd255d3b9cf2c1bb0279dd97994e3574ef09 |
|
17-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
avoid conflict with man page |
| 219b9ee539c4fdc8db8ddb1160d05076446a804e |
|
17-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
allow to install hets-server-core together with hets-core |
| c47f7a3509d3866ec992b5f045f5dd63ceab73fe |
|
14-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
use hets-server-core |
| 21155e63bac193abc764d791360132392eb79c4d |
|
14-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
changes for a server |