Commits · 79a2f2349cc5a14c454acdd7dcd5c7bf5c6fa091 · Pierre Rousselin / jscoq-light · GitLab

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
- [jscoq] Use JSON serializers from SerAPI for Coq types. · faab8849
  Emilio Jesus Gallego Arias authored May 14, 2019
  Unverified
  
  faab8849
Jun 09, 2019
- [meta] CHANGEs entry for new goal diplay. · 6606ad19
  Shachar Itzhaky authored Jun 9, 2019
  
  6606ad19
Jun 04, 2019
- [ui] Basic open/save dialogs. · 511d1116
  Shachar Itzhaky authored Jun 3, 2019
  511d1116
Jun 01, 2019
- [doc] Empty example page. · 95758526
  Shachar Itzhaky authored Jun 1, 2019
  95758526
- [meta] CHANGES entry for async doc. · cccfd8f1
  Shachar Itzhaky authored May 29, 2019
  
  cccfd8f1
May 31, 2019
- [feature] Support for Coq options. · 76783f99
  Shachar Itzhaky authored May 28, 2019
  76783f99
May 27, 2019
- [bugfix] [company-coq] Scrolling issue. · 8a00f757
  Shachar Itzhaky authored May 27, 2019
  8a00f757
May 26, 2019
- [meta] Added CHANGES entry for printing. · f8525fa3
  Shachar Itzhaky authored May 25, 2019
  
  f8525fa3
May 25, 2019
- [ui] Splash image! · 44132e98
  Shachar Itzhaky authored May 23, 2019
  44132e98
May 23, 2019
- [ui] Advance of the dark mode. · 7461bc48
  Shachar Itzhaky authored May 23, 2019
  7461bc48
May 22, 2019
- [feature] The long-awaited worker reset button. · 87fcc159
  Shachar Itzhaky authored May 22, 2019
  87fcc159
- [jscoq] Emulate timeout. · 16b185dc
  Shachar Itzhaky authored May 21, 2019
  16b185dc
May 12, 2019
- [doc] Updated CHANGES. · 7d6a4b71
  Shachar Itzhaky authored May 12, 2019
  
  7d6a4b71