Commits · 4fa6d378c0db57b880ff031982c26b31520367a6 · Frédéric Tuong / isabelle_contrib

May 23, 2020
- support new space symbols, possibly non-standard · 4fa6d378
  Frédéric Tuong authored 4 years ago
  4fa6d378
- report UTF-8 idents · e434c3c2
  Frédéric Tuong authored 4 years ago
  e434c3c2
- simplify · 5107fbec
  Frédéric Tuong authored 4 years ago
  5107fbec
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 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