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

May 09, 2020
- 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 06, 2020
- fix r13918 · ad38a5b3
  Frédéric Tuong authored 4 years ago
  ad38a5b3
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
May 04, 2020
- synchronize with gitlab.lri.fr:ftuong/isabelle_c 76c05ee4 · 6649b4c0
  Frédéric Tuong authored 4 years ago
  6649b4c0
- maximize the evaluation for annotations · ceb18a86
  Frédéric Tuong authored 4 years ago
  ceb18a86
- maximize the evaluation for annotations · 5ad1e6e4
  Frédéric Tuong authored 4 years ago
  5ad1e6e4
- permute some paragraphs · 7c12f3af
  Frédéric Tuong authored 4 years ago
  7c12f3af
Dec 27, 2019
- synchronize with afp-devel/79e888fe281b · bc66e271
  Frédéric Tuong authored 5 years ago
  bc66e271
- synchronize with afp-devel/79e888fe281b · 3c86dea0
  Frédéric Tuong authored 5 years ago
  3c86dea0
- document · 5e7fc113
  Frédéric Tuong authored 5 years ago
  5e7fc113
- synchronize with gitlab.lri.fr:ftuong/isabelle_c 63bdc5cd · 4797f811
  Frédéric Tuong authored 5 years ago
  4797f811
Dec 17, 2019
- synchronize with the AFP feedback · 650140cf
  Frédéric Tuong authored 5 years ago
  650140cf
Dec 14, 2019
- alpha-rename · d56b0a8a
  Frédéric Tuong authored 5 years ago
  d56b0a8a
Nov 04, 2019
- fix · 29881355
  Frédéric Tuong authored 5 years ago
  29881355
- document · 8f38fc90
  Frédéric Tuong authored 5 years ago
  8f38fc90
- permute some paragraphs · 4a71c9b1
  Frédéric Tuong authored 5 years ago
  4a71c9b1
- implement generalized C antiquotations (as directives) · cedbb0c9
  Frédéric Tuong authored 5 years ago
  cedbb0c9
- document · 31b29f25
  Frédéric Tuong authored 5 years ago
  31b29f25
- fix the context provided to the directive-resolving phase, by giving the... · 5c6de673
  Frédéric Tuong authored 5 years ago
  5c6de673
- simplify · 1d40b19a
  Frédéric Tuong authored 5 years ago
  1d40b19a
- simplify · 608cb63f
  Frédéric Tuong authored 5 years ago
  608cb63f
Oct 22, 2019
- fix · 23f59d2b
  Frédéric Tuong authored 5 years ago
  23f59d2b
- synchronize with gitlab.lri.fr:ftuong/isabelle_c 4f917673 · 9cab3981
  Frédéric Tuong authored 5 years ago
  9cab3981
- document · dd9b70d7
  Frédéric Tuong authored 5 years ago
  dd9b70d7
Oct 21, 2019
- clean · e32d543a
  Frédéric Tuong authored 5 years ago
  e32d543a
- document · 0aadaf20
  Frédéric Tuong authored 5 years ago
  0aadaf20
- simplify · 5b9f774f
  Frédéric Tuong authored 5 years ago
  5b9f774f
- indent · 7932aa57
  Frédéric Tuong authored 5 years ago
  7932aa57
- document · 1ef6b3c2
  Frédéric Tuong authored 5 years ago
  1ef6b3c2
Oct 18, 2019
- document · 3f36652a
  Frédéric Tuong authored 5 years ago
  3f36652a
- document · 7e8529b5
  Frédéric Tuong authored 5 years ago
  7e8529b5
- simplify · 01fdbdf4
  Frédéric Tuong authored 5 years ago
  01fdbdf4
Oct 17, 2019
- document · 9383755b
  Frédéric Tuong authored 5 years ago
  9383755b
- fix · 06b3e885
  Frédéric Tuong authored 5 years ago
  06b3e885
- document · 3ce37891
  Frédéric Tuong authored 5 years ago
  3ce37891