afp-mirror
/
Featherweight_OCL
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
24 Commits
1 Branch
10 Tags
1.4 MiB
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

24 Commits (master)
 

Author SHA1 Message Date
Achim D. Brucker fd305c8136 Improved markdown.
afp-mirror/Featherweight_OCL/pipeline/head There was a failure building this commit
Details
 1 year ago
Achim D. Brucker 58e8dd6e70 Fixed markdown.
1 year ago
Achim D. Brucker e3caf3c118 Added Frédéric's homepage.
1 year ago
Achim D. Brucker 66be3e6e46 Added build instructions.
1 year ago
Achim D. Brucker 603afc9bc7 Migration to Isabelle 2020.
1 year ago
Achim D. Brucker 98df203945 Import of official AFP entry for Isabelle 2019.
afp-mirror/Featherweight_OCL/master This commit looks good
Details
 2 years ago
Achim D. Brucker 81e5b1a2af Fixed ROOT file syntax.
3 years ago
Achim D. Brucker 6587217c99 Initial commit.
3 years ago
Achim D. Brucker 66ca317b28 Renamed session to avoid conflict with activated AFP.
3 years ago
Achim D. Brucker a5b1b8fe20 Import of AFP entry for Isabelle 2018.
3 years ago
Achim D. Brucker 9b9f422bd3 Fixed markdown.
3 years ago
Achim D. Brucker 0673304bb9 Added master repository URL.
3 years ago
Achim D. Brucker 8331080e31 Added SPDX License Identifier.
3 years ago
Achim D. Brucker 0851e2ec56 Fixed markdown.
4 years ago
Achim D. Brucker 8bf5757ecd Import of current (Isabelle 2017) release of Featherweight OCL.
4 years ago
Achim D. Brucker 98db296499 Added publications.
5 years ago
Achim D. Brucker 326517f7f9 Clarified file structure. Official AFP entry is now in directory Featherweight_OCL.
5 years ago
Achim D. Brucker 70e397cc23 Restructured file layout to match afp default.
5 years ago
Achim D. Brucker 49ed81521f Import of current (Isabelle 2016-1) release of Featherweight OCL.
5 years ago
Achim D. Brucker 02c1e24f17 Import of current (Isabelle 2016) release of Featherweight OCL.
5 years ago
Achim D. Brucker ed232e8aa3 Import of Featherweight OCL release afp-Featherweight_OCL-2015-05-27 (Isabelle 2015).
5 years ago
Achim D. Brucker 8449924cbd Import of Featherweight OCL release afp-Featherweight_OCL-2014-08-28 (Isabelle 2014).
5 years ago
Achim D. Brucker 70a24eef96 Import of Featherweight OCL release afp-Featherweight_OCL-2014-01-16 (Isabelle 2013-2).
5 years ago
Achim D. Brucker 3093cb19c3 Initial commit.
5 years ago