 Achim D. Brucker
|
ea685d3336
|
Be less verbose.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-03-25 22:02:28 +00:00 |
|
Achim D. Brucker
|
087bcac02f
|
Be more verbose.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-03-25 21:44:18 +00:00 |
|
Achim D. Brucker
|
49f5347083
|
Fixed session name.
ci/woodpecker/push/build Pipeline failed
Details
|
2022-03-25 20:52:40 +00:00 |
|
Achim D. Brucker
|
4c51001873
|
Switched from Jenkins to Woodpecker CI.
ci/woodpecker/push/build Pipeline failed
Details
|
2022-03-25 20:44:05 +00:00 |
|
Achim D. Brucker
|
9ff6b1f526
|
Renamed upstream repository.
|
2021-12-30 19:13:15 +00:00 |
|
Achim D. Brucker
|
f30ae05ab6
|
Migration to Isabelle 2021-1 (based on afp-2021-12-28).
|
2021-12-30 19:13:15 +00:00 |
|
Achim D. Brucker
|
fd305c8136
|
Improved markdown.
afp-mirror/Featherweight_OCL/pipeline/head There was a failure building this commit
Details
|
2020-05-23 11:30:10 +01:00 |
|
Achim D. Brucker
|
58e8dd6e70
|
Fixed markdown.
|
2020-05-23 11:25:17 +01:00 |
|
Achim D. Brucker
|
e3caf3c118
|
Added Frédéric's homepage.
|
2020-05-23 11:24:12 +01:00 |
|
Achim D. Brucker
|
66be3e6e46
|
Added build instructions.
|
2020-05-23 11:21:01 +01:00 |
|
Achim D. Brucker
|
603afc9bc7
|
Migration to Isabelle 2020.
|
2020-05-23 11:08:37 +01:00 |
|
Achim D. Brucker
|
98df203945
|
Import of official AFP entry for Isabelle 2019.
afp-mirror/Featherweight_OCL/master This commit looks good
Details
|
2019-06-22 23:44:04 +01:00 |
|
Achim D. Brucker
|
81e5b1a2af
|
Fixed ROOT file syntax.
|
2019-01-05 18:04:45 +00:00 |
|
Achim D. Brucker
|
6587217c99
|
Initial commit.
|
2019-01-05 17:50:30 +00:00 |
|
Achim D. Brucker
|
66ca317b28
|
Renamed session to avoid conflict with activated AFP.
|
2019-01-05 17:50:22 +00:00 |
|
Achim D. Brucker
|
a5b1b8fe20
|
Import of AFP entry for Isabelle 2018.
|
2018-12-25 14:52:23 +00:00 |
|
Achim D. Brucker
|
9b9f422bd3
|
Fixed markdown.
|
2018-07-04 02:00:22 +01:00 |
|
Achim D. Brucker
|
0673304bb9
|
Added master repository URL.
|
2018-07-01 06:05:13 +01:00 |
|
Achim D. Brucker
|
8331080e31
|
Added SPDX License Identifier.
|
2018-06-30 17:59:24 +01:00 |
|
Achim D. Brucker
|
0851e2ec56
|
Fixed markdown.
|
2017-12-05 21:11:57 +00:00 |
|
Achim D. Brucker
|
8bf5757ecd
|
Import of current (Isabelle 2017) release of Featherweight OCL.
|
2017-11-30 23:17:27 +00:00 |
|
Achim D. Brucker
|
98db296499
|
Added publications.
|
2017-01-08 11:48:17 +00:00 |
|
Achim D. Brucker
|
326517f7f9
|
Clarified file structure. Official AFP entry is now in directory Featherweight_OCL.
|
2017-01-07 00:04:06 +00:00 |
|
Achim D. Brucker
|
70e397cc23
|
Restructured file layout to match afp default.
|
2016-12-31 20:22:49 +00:00 |
|
Achim D. Brucker
|
49ed81521f
|
Import of current (Isabelle 2016-1) release of Featherweight OCL.
|
2016-12-26 11:28:09 +00:00 |
|
Achim D. Brucker
|
02c1e24f17
|
Import of current (Isabelle 2016) release of Featherweight OCL.
|
2016-08-10 11:22:14 +01:00 |
|
Achim D. Brucker
|
ed232e8aa3
|
Import of Featherweight OCL release afp-Featherweight_OCL-2015-05-27 (Isabelle 2015).
|
2016-08-10 11:10:49 +01:00 |
|
Achim D. Brucker
|
8449924cbd
|
Import of Featherweight OCL release afp-Featherweight_OCL-2014-08-28 (Isabelle 2014).
|
2016-08-10 11:09:12 +01:00 |
|
Achim D. Brucker
|
70a24eef96
|
Import of Featherweight OCL release afp-Featherweight_OCL-2014-01-16 (Isabelle 2013-2).
|
2016-08-10 11:04:45 +01:00 |
|
Achim D. Brucker
|
3093cb19c3
|
Initial commit.
|
2016-08-10 11:02:03 +01:00 |