24 Commits (master)
 

Author SHA1 Message Date
  Achim D. Brucker fd305c8136 Improved markdown. 10 months ago
  Achim D. Brucker 58e8dd6e70 Fixed markdown. 10 months ago
  Achim D. Brucker e3caf3c118 Added Frédéric's homepage. 10 months ago
  Achim D. Brucker 66be3e6e46 Added build instructions. 10 months ago
  Achim D. Brucker 603afc9bc7 Migration to Isabelle 2020. 10 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