| d9885138f091895edda4a08ec44e653aa87e195b |
|
30-Mar-2015 |
cmaeder <c.maeder@jacobs-university.de> |
removed unnecessary git-svn |
| d7836a1bdb213daedb668c6e072ff7b7f61f09e0 |
|
27-Mar-2015 |
cmaeder <cmaeder@users.noreply.github.com> |
use HEAD to support a branch |
| 95c748c15129830d399012c07dd9824b5942d962 |
|
20-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
adjust Hets-lib and still use Isabelle2012 dependency |
| 7430daee2222f640e45279b11a5aa81ae8c7842a |
|
16-Jul-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
current version for packaging hets
Note, that empty directories (i.e. debian/trusty) must be created for this
script to work!
Yet, git does not track empty directories
and I don't want to duplicate files or have dummy files in releases.
Further adjustment is needed once Hets-lib is on github. |
| 9d64fbf2059f120d81ec578e478e7eee348e3473 |
|
28-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
update programatica and add rev.txt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18596 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 728e3abf5bd16d9321a16591fc83839d92cf7bc4 |
|
28-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
current releases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18448 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f99f6b1a72dd3e7b1d47cdc9ce4adc0d0e8fad78 |
|
10-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted cleaning up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17314 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0bad47e34a37adf61948e6337aa0c367a8fe7136 |
|
05-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected tar command call
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17294 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8fa7f6e49c63443c70696c4b8f01fb01c0c165df |
|
05-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
try to use programatica cabal package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17292 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e807d7cd75aeb0e0dd399c66aaa575e0902b32c9 |
|
14-Mar-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
First changes to package_trunk
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16723 cec4b9c1-7d33-0410-9eda-942365e851bb |
| bc98c290fad74b5748058b2db1509e0cb38d4351 |
|
01-Mar-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Consolidated duplicate files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16683 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d97778f24ea1648c6fce59b08be54dddb5c6ab91 |
|
14-Feb-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Added dependency on texlive-latex-extra for paralist.sty
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16660 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2cfe33dba77fda67910107bc60d84d7ed6c318f6 |
|
14-Feb-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Added dependency on devscripts (for debuild)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16658 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 747d06d91101c433c8432437147db244267d2d8f |
|
14-Feb-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed a small bug introduced by the last commit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16657 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f263b510552a86cf7bdc84d62fc8a4467d8777e7 |
|
14-Feb-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Avoid full checkouts in favor of svn updates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16656 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1d4638892dcd33fb8545f073e2c1f7f4932b716d |
|
19-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted accidental commit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16563 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 336a867b44885e4de70874dcb2402c33427284cd |
|
19-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
better building and hets-hollight-tools dep
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16562 cec4b9c1-7d33-0410-9eda-942365e851bb |
| bd311188443acfdfb3a82cf5883eab89c1de193d |
|
06-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted building wrt hollight tools
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16526 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d578953b0c82517b7b3413d55efde0d8e1f8f695 |
|
24-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted to moved hol files spechub/Hets@aecb6dd5fe65b426c7044c9009ee4a6e3d9783b6
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16485 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f9205242fea27450f6b17b1405ff4edeb779df46 |
|
18-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
install hets-hollight-tools
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16471 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4bbf8a1a4709859a98ef529ef7f43a32360dead7 |
|
17-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted package script
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16460 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 553250733cf37e02917779ce3cd0d09276bda96b |
|
27-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
make only an oneiric release
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16396 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2d4e2776cc53a7c91b7eb4b6a8ba15de20224afa |
|
29-Aug-2011 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Updated package script
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16041 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3d174a01baf49b2d1ab13f526a4697af9b389139 |
|
31-May-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15042 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 10e27f26fd6ea8f35476c5f579dc5e5b64d7c2f9 |
|
31-May-2011 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Minor fixes to debian auto-package script
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15041 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 13d3a75fdbeb565fbd5cdb881354ee3bf03c87dc |
|
31-May-2011 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed upload scripts for generic distro uploads
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15040 cec4b9c1-7d33-0410-9eda-942365e851bb |