Commits · ad1dc29704263e50fcba9bc3d35591868f444515 · Pierre Rousselin / jscoq-light · GitLab

Aug 11, 2021
- [misc] CHANGES entry for the great merge. · ad1dc297
  Shachar Itzhaky authored Aug 11, 2021
  
  ad1dc297
Aug 03, 2021
- [meta] FormatPrettyPrint CHANGES entry. · e64f17f5
  Shachar Itzhaky authored Aug 3, 2021
  
  e64f17f5
Jul 11, 2021
- [bugfix] Handling of error markers and comments. · 7b0fe224
  Shachar Itzhaky authored Jul 11, 2021
  7b0fe224
Jul 07, 2021
- [doc] Fixed docs on embedding. · a3b14ee8
  Shachar Itzhaky authored Jul 7, 2021
  
  a3b14ee8
Jul 06, 2021
- [meta] Bump version to 0.13.1 and update CHANGES. · 2771b825
  Shachar Itzhaky authored Jul 6, 2021
  
  2771b825
Jun 09, 2021
- [build] Bump required compiler version to 4.12.0 · 95787181
  Emilio Jesus Gallego Arias authored Feb 13, 2021
  Unverified
  
  95787181
- [build] [ci] Preliminary github actions support · 0f6c08cc
  Emilio Jesus Gallego Arias authored Jun 9, 2021
  Unverified
  
  0f6c08cc
May 18, 2021
- [doc] Added link to Coq tutorial. · ee1ba530
  Shachar Itzhaky authored May 18, 2021
  ee1ba530
May 16, 2021
- [meta] CHANGES entry for settings panel. · 6a6a0568
  Shachar Itzhaky authored May 16, 2021
  6a6a0568
May 08, 2021
- [doc] CHANGES entry for `FormatPrettyPrint` fix. · 4f681ca2
  Shachar Itzhaky authored May 8, 2021
  
  4f681ca2
Mar 04, 2021
- [doc] Updated documentation with information about sharing snippets. · 169ce445
  Shachar Itzhaky authored Feb 17, 2021
  
  169ce445
Feb 14, 2021
- [build] Bump required compiler version to 4.10.2 · ae031a8e
  Emilio Jesus Gallego Arias authored Feb 13, 2021
  Unverified
  
  ae031a8e
Feb 13, 2021
- [jscoq] Port to Coq 8.13 · f8302d6e
  Emilio Jesus Gallego Arias authored Feb 12, 2021
  Unverified
  
  f8302d6e
Jan 13, 2021
- [port] Upgrade to Coq 8.12.1, and general housekeeping. · 79a2f234
  Shachar Itzhaky authored Jan 13, 2021
  79a2f234
Nov 02, 2020
- [meta] CHANGES entries for 0.12.1. · 5924972a
  Shachar Itzhaky authored Nov 2, 2020
  
  5924972a
Sep 18, 2020
- [cleanup] Added mode flag to `Icoq.start`. · 9cca3e35
  Shachar Itzhaky authored Sep 18, 2020
  9cca3e35
Aug 12, 2020
- [doc] Added CHANGES. · 64e766ee
  Shachar Itzhaky authored Aug 12, 2020
  
  64e766ee
Aug 07, 2020
- [doc] Package chunks deferred to 0.12. · 701f7384
  Shachar Itzhaky authored Jul 22, 2020
  
  701f7384
- [feature] [pkg] Package chunks. · dbdcba7a
  Shachar Itzhaky authored Apr 26, 2020
  
  dbdcba7a
Jul 18, 2020
- [addons] Update mathcomp to 1.11 · 9634680a
  Emilio Jesus Gallego Arias authored Jul 18, 2020
  Unverified
  
  9634680a
- [jscoq] Port to Coq 8.12 · be2165c5
  Emilio Jesus Gallego Arias authored Jul 18, 2020
  
  Unverified
  
  be2165c5
Apr 28, 2020
- [build] Bump to js_of_ocaml 3.6.0 · 042a4151
  Emilio Jesus Gallego Arias authored Apr 27, 2020
  Unverified
  
  042a4151
- [feature] [ui] More precise location of error indicator. · de36c7f7
  Shachar Itzhaky authored Mar 30, 2020
  de36c7f7
Apr 08, 2020
- [changes] Release announcement · 7a2b7344
  Emilio Jesus Gallego Arias authored Mar 28, 2020
  Unverified
  
  7a2b7344
Apr 07, 2020
- [build] Pin to Coq 8.11.1 · 20cb994c
  Emilio Jesus Gallego Arias authored Apr 7, 2020
  Unverified
  
  20cb994c
Mar 07, 2020
- [feature] Allow multiple package paths. · 195460b7
  Shachar Itzhaky authored Mar 7, 2020
  195460b7
Feb 09, 2020
- [feature] [ui] Package drop-in. · 49cb525d
  Shachar Itzhaky authored Feb 8, 2020
  49cb525d
Feb 06, 2020
- [feature] Added option to control line numbering flow. · b40ae776
  Shachar Itzhaky authored Feb 6, 2020
  b40ae776
- [doc] Added the new options to README. · 48ed5425
  Shachar Itzhaky authored Feb 6, 2020
  
  48ed5425
- [bugfix] Effected a policy where `implicit` only applies to Coq libs. · 38d7a6e3
  Shachar Itzhaky authored Feb 6, 2020
  38d7a6e3
Jan 27, 2020
- [jscoq] Import release 0.10.1 · a593b6c9
  Emilio Jesus Gallego Arias authored Jan 27, 2020
  Unverified
  
  a593b6c9
Jan 25, 2020
- [changes] Update changes · 6fae3476
  Emilio Jesus Gallego Arias authored Jan 25, 2020
  Unverified
  
  6fae3476
- [coq] [packaging] Add primitive floats library · 57dc64e7
  Emilio Jesus Gallego Arias authored Jan 25, 2020
  
  Unverified
  
  57dc64e7
Jan 24, 2020
- [addons] [coq] Support native Ltac2 · 805b7773
  Emilio Jesus Gallego Arias authored Jan 24, 2020
  
  Unverified
  
  805b7773
- [jscoq] Port to Coq 8.11 · c6e94014
  Emilio Jesus Gallego Arias authored Dec 8, 2019
  Unverified
  
  c6e94014
Dec 12, 2019
- [feature] Interrupt button. · f416e418
  Shachar Itzhaky authored Nov 23, 2019
  f416e418
Aug 30, 2019
- [feature] Added a config option for choosing layout. · 01256451
  Shachar Itzhaky authored Aug 30, 2019
  01256451
- [bugfix] Include keywords in completion hint. · 5328ece5
  Shachar Itzhaky authored Aug 30, 2019
  
  5328ece5
Jul 27, 2019
- [meta] CHANGES entry for NPM. · d7070f80
  Shachar Itzhaky authored Jun 20, 2019
  
  d7070f80
Jun 16, 2019
- [protocol] Add `Ast` query that returns a traversable AST. · d7e4bd53
  Emilio Jesus Gallego Arias authored May 14, 2019
  
  Unverified
  
  d7e4bd53