Achim D. Brucker
|
df8414822f
|
Add isabelle bin directory to PATH.
|
2019-01-05 17:05:18 +00:00 |
Achim D. Brucker
|
1b32ba0fd4
|
Removed entry point.
|
2019-01-05 16:57:59 +00:00 |
Achim D. Brucker
|
442fec5c3c
|
Renabled SHELL directive.
|
2019-01-05 15:56:36 +00:00 |
Achim D. Brucker
|
d8dfe40d96
|
Bug fix: Isabelle version was hardcoded in tags.
|
2019-01-05 15:38:26 +00:00 |
Achim D. Brucker
|
5c409c00a7
|
Disabled SHELL directive.
|
2019-01-05 15:08:41 +00:00 |
Achim D. Brucker
|
8d1176d523
|
Initial commit.
|
2019-01-04 18:41:12 +00:00 |
Achim D. Brucker
|
b64cf8a7be
|
Initial commit isabelle.
|
2019-01-03 09:41:12 +00:00 |
Achim D. Brucker
|
eed450b116
|
Added licensing header.
|
2019-01-03 09:41:12 +00:00 |
Achim D. Brucker
|
def5cfad30
|
Initial commit debian4isabelle.
|
2019-01-02 07:41:12 +00:00 |
Achim D. Brucker
|
58d8036e69
|
Initial commit.
|
2019-01-02 07:41:12 +00:00 |