Commits · master · Frédéric Tuong / isabelle_contrib

Dec 28, 2021
- synchronize with afp-devel · 9707464d
  Frédéric Tuong authored 3 years ago
  
  9707464d
- synchronize with 1a42ddd5dbbc... · e56a5dfc
  Frédéric Tuong authored 3 years ago
  e56a5dfc
Dec 27, 2021
- upgrade to Isabelle2021-1 · cdf11e47
  Frédéric Tuong authored 3 years ago
  
  cdf11e47
- fix cbb96cf3 · 292c71b0
  Frédéric Tuong authored 3 years ago
  
  292c71b0
Dec 26, 2021
- upgrade to Isabelle2021 · cbb96cf3
  Frédéric Tuong authored 3 years ago
  
  cbb96cf3
May 22, 2020
- git-svn-id:... · 61922e23
  Burkhart Wolff authored 4 years ago
  61922e23
May 18, 2020
- git-svn-id:... · 61707336
  Burkhart Wolff authored 4 years ago
  61707336
May 16, 2020
- git-svn-id:... · ad5c3fb3
  Burkhart Wolff authored 4 years ago
  ad5c3fb3
May 10, 2020
- upgrade to Isabelle2020 · 3eec3480
  Frédéric Tuong authored 4 years ago
  3eec3480
May 09, 2020
- continue r14189 · 74a91e6f
  Frédéric Tuong authored 4 years ago
  74a91e6f
- move sessions to a separate directory · 51fb5875
  Frédéric Tuong authored 4 years ago
  51fb5875
- move sessions to a separate directory · ccbfd749
  Frédéric Tuong authored 4 years ago
  ccbfd749
- update the generated files · 229c570d
  Frédéric Tuong authored 4 years ago
  229c570d
- move sessions to a separate directory · 95db9204
  Frédéric Tuong authored 4 years ago
  95db9204
- move sessions to a separate directory · cc5a1e5f
  Frédéric Tuong authored 4 years ago
  cc5a1e5f
- move sessions to a separate directory · e2770c48
  Frédéric Tuong authored 4 years ago
  e2770c48
- move sessions to a separate directory · 058c49a5
  Frédéric Tuong authored 4 years ago
  058c49a5
- cancel some part of r11412 · 404ae69c
  Frédéric Tuong authored 4 years ago
  404ae69c
- move sessions to a separate directory · b50825e7
  Frédéric Tuong authored 4 years ago
  b50825e7
- move sessions to a separate directory · 3e7c41bc
  Frédéric Tuong authored 4 years ago
  3e7c41bc
May 05, 2020
- update the generated files · bde97113
  Frédéric Tuong authored 4 years ago
  bde97113
- synchronize with compiler/core/Floor2_examp.thy · 8dedf86f
  Frédéric Tuong authored 4 years ago
  8dedf86f
Aug 01, 2019
- simplify · cbbb40a5
  Frédéric Tuong authored 5 years ago
  cbbb40a5
- generate additional ML functions · c20030fb
  Frédéric Tuong authored 5 years ago
  c20030fb
- generate additional ML functions · f91e3644
  Frédéric Tuong authored 5 years ago
  f91e3644
Jul 24, 2019
- continue r13999 · a37d421c
  Frédéric Tuong authored 5 years ago
  a37d421c
Jul 23, 2019
- simplify · b437b90e
  Frédéric Tuong authored 5 years ago
  b437b90e
- remove old_datatype in sequential versions · 4d20360d
  Frédéric Tuong authored 5 years ago
  4d20360d
- upgrade to Isabelle2019 · 4a340604
  Frédéric Tuong authored 5 years ago
  4a340604
- simplify · 44ea9332
  Frédéric Tuong authored 5 years ago
  44ea9332
Jul 22, 2019
- fix · 25950545
  Frédéric Tuong authored 5 years ago
  25950545
Jul 19, 2019
- simplify · ec7b8c76
  Frédéric Tuong authored 5 years ago
  ec7b8c76
- split up the support of external compilers into a dedicated file · 3d118d2a
  Frédéric Tuong authored 5 years ago
  3d118d2a
- remove old_datatype in sequential versions · a668c49e
  Frédéric Tuong authored 5 years ago
  a668c49e
- update the generated files · 77ae7b96
  Frédéric Tuong authored 5 years ago
  77ae7b96
- upgrade to Isabelle2019 · 6eb2de7c
  Frédéric Tuong authored 5 years ago
  6eb2de7c
- build · 03861cf0
  Frédéric Tuong authored 5 years ago
  03861cf0
Jul 17, 2019
- generalize · 4378a7ac
  Frédéric Tuong authored 5 years ago
  4378a7ac
- report positions · afc24814
  Frédéric Tuong authored 5 years ago
  afc24814
- split up the support of external compilers into a dedicated file · 511c6e85
  Frédéric Tuong authored 5 years ago
  511c6e85