24 Commits (master)
 

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