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

Dec 14, 2019
- update the generated files · bef1641e
  Frédéric Tuong authored 5 years ago
  
  bef1641e
- document · 11c69a0d
  Frédéric Tuong authored 5 years ago
  
  11c69a0d
- group · 9003fdb7
  Frédéric Tuong authored 5 years ago
  
  9003fdb7
- build as before 740eee63 · 39127b93
  Frédéric Tuong authored 5 years ago
  
  39127b93
- simplify sessions · a931c8fa
  Frédéric Tuong authored 5 years ago
  
  a931c8fa
- build · 8a92bd64
  Frédéric Tuong authored 5 years ago
  
  8a92bd64
- update the generated files · 0fd42dfd
  Frédéric Tuong authored 5 years ago
  
  0fd42dfd
- remove superfluous files for the AFP version · 4c10e440
  Frédéric Tuong authored 5 years ago
  
  4c10e440
- remove superfluous files for the AFP version · 740eee63
  Frédéric Tuong authored 5 years ago
  
  740eee63
- update the generated files · cbdc44f2
  Frédéric Tuong authored 5 years ago
  
  cbdc44f2
- Merge branch 'C' into C_AFP · a2676ffa
  Frédéric Tuong authored 5 years ago
  
  a2676ffa
- Merge branch 'C' of lri-git:ftuong/isabelle_c into C · 2dcc4692
  Frédéric Tuong authored 5 years ago
  
  2dcc4692
- Merge branch 'citadelle_2019' into C · 06323830
  Frédéric Tuong authored 5 years ago
  
  06323830
- alpha-rename · d56b0a8a
  Frédéric Tuong authored 5 years ago
  d56b0a8a
Nov 29, 2019
- adding the path-crawler example suite. Preparing modif of AutoCorres examples. · f26ffc46
  bu authored 5 years ago
  
  f26ffc46
Nov 27, 2019
- initial setup with example set from PathCrawler Online · 6a2d4375
  bu authored 5 years ago
  
  6a2d4375
Nov 21, 2019
- no message · ca546626
  bu authored 5 years ago
  
  ca546626
Nov 18, 2019
- Merge branch 'C' of https://gitlri.lri.fr/ftuong/isabelle_c into C · 434e12e7
  bu authored 5 years ago
  
  434e12e7
- dont recall · 63ef67e6
  bu authored 5 years ago
  
  63ef67e6
Nov 14, 2019
- update the generated files · 022d0b9e
  Frédéric Tuong authored 5 years ago
  
  022d0b9e
- document · 091d9dc3
  Frédéric Tuong authored 5 years ago
  
  091d9dc3
- back-up · 8167b444
  Frédéric Tuong authored 5 years ago
  
  8167b444
Nov 12, 2019
- add a lexing example · 9522c8ac
  Frédéric Tuong authored 5 years ago
  
  9522c8ac
- fix ddba8e63 · 80948ed2
  Frédéric Tuong authored 5 years ago
  
  80948ed2
- add a lexing example for C99 · 18123ea2
  Frédéric Tuong authored 5 years ago
  
  18123ea2
- simplify · 4cfc68bd
  Frédéric Tuong authored 5 years ago
  
  4cfc68bd
Nov 08, 2019
- alpha-rename · 4e89960c
  Frédéric Tuong authored 5 years ago
  
  4e89960c
- add the translation skeleton of the body · 4779357c
  Frédéric Tuong authored 5 years ago
  
  4779357c
- simplify · e0d67fd3
  Frédéric Tuong authored 5 years ago
  
  e0d67fd3
Nov 07, 2019
- add the translation skeleton of the body · ddba8e63
  Frédéric Tuong authored 5 years ago
  
  ddba8e63
Nov 06, 2019
- simplify · 19e97bbb
  Frédéric Tuong authored 5 years ago
  
  19e97bbb
- continue · 3490b11d
  Frédéric Tuong authored 5 years ago
  
  3490b11d
- simplify · c94b180f
  Frédéric Tuong authored 5 years ago
  
  c94b180f
- simplify · 6a7e4258
  Frédéric Tuong authored 5 years ago
  
  6a7e4258
- fix c4483420 · a0977265
  Frédéric Tuong authored 5 years ago
  
  a0977265
- Merge branch 'C' of lri-git:ftuong/isabelle_c into C · dddae9dd
  Frédéric Tuong authored 5 years ago
  
  dddae9dd
- Merge branch 'C' of lri-git:ftuong/isabelle_c into C · db39e5ed
  Frédéric Tuong authored 5 years ago
  
  db39e5ed
- add the translation skeleton of the body · c4483420
  Frédéric Tuong authored 5 years ago
  
  c4483420
- deactivate the shallow mode · bd8a9258
  Frédéric Tuong authored 5 years ago
  
  bd8a9258
- abstract the context in Clean_Syntax_Lift · 5857a579
  Frédéric Tuong authored 5 years ago
  
  5857a579