Commits · e29ef52e0ee5e342d17a64a33045c2a4f080b8df · verimag / synchrone / sasa

Jul 02, 2019
- Update: try to get colorisation in the html generated from the org in the guide (still not working) · e29ef52e
  erwan authored 5 years ago
  
  e29ef52e
Jul 01, 2019
- Test: convert files in test/skeleton to the new API · e5eb17d9
  erwan authored 5 years ago
  
  e5eb17d9
Jun 06, 2019
- Try to make local_env abstract · 0d6575a7
  erwan authored 5 years ago
  
  0d6575a7
May 29, 2019
- Update: add a LICENCE · 5f80f64e
  erwan authored 5 years ago
  
  5f80f64e
May 28, 2019
- Docs: fix the CI that build the doc · a2fcbebf
  erwan authored 5 years ago
  
  2.1.4
  
  a2fcbebf
- Docs: fix the CI that build the doc · a0d56736
  erwan authored 5 years ago
  
  2.1.3
  
  a0d56736
- Docs: use guides/users/README.html as the project main page · 4927d330
  erwan authored 5 years ago
  
  4927d330
- Docs: generate a README.org out of the README.org and track it · 6775cd03
  erwan authored 5 years ago
  
  2.1.1
  
  6775cd03
May 24, 2019
- Build: try to set-up an opam package · b5770fd6
  erwan authored 5 years ago
  
  b5770fd6
May 23, 2019
- Doc: some work on the documentation · f29ea5d2
  erwan authored 5 years ago
  
  f29ea5d2
May 15, 2019

erwan authored 5 years ago

The rationale is that
 - it is not always the cmxs that is necessary .e.g., rdbg uses .cma or .ml
 - it makes more sense to refer to the source code

a40287f0

Apr 02, 2019
- Doc: some documentation work (users guide, contributors guide, code interface, etc.) · 5cda998a
  erwan authored 6 years ago
  
  5cda998a
Mar 22, 2019
- Doc: Initiate a contributors guide · bdd5b561
  erwan authored 6 years ago
  
  bdd5b561