Commits · 4c42455665a24a4d9c41183993ef2308ab0332fb · Pierre Rousselin / jscoq-light · GitLab

Jul 28, 2022
- [build] Make `bootstrap` a dev dep. · 4c424556
  Shachar Itzhaky authored Jul 28, 2022
  4c424556
May 21, 2022
- [doc] Added link to Coqoban. · a8f68ab8
  Shachar Itzhaky authored May 21, 2022
  
  a8f68ab8
May 16, 2022
- [feature] [jscoqdoc] Accept a user-specified template. · 4f179ccb
  Shachar Itzhaky authored May 16, 2022
  4f179ccb
May 09, 2022
- [doc] Completely shift the focus of the landing page. · 9445e227
  Shachar Itzhaky authored May 9, 2022
  9445e227
- [doc] Completely shift the focus of the landing page. · b49c50d5
  Shachar Itzhaky authored May 9, 2022
  b49c50d5
May 08, 2022
- [ui] Improving contextual info. · ed269963
  Shachar Itzhaky authored May 8, 2022
  ed269963
- [doc] Some flare. · 0d9e0907
  Shachar Itzhaky authored May 8, 2022
  0d9e0907
- [doc] Some flare. · da2d5d9b
  Shachar Itzhaky authored May 8, 2022
  da2d5d9b
- [doc] Minor tweak. · 2629489f
  Shachar Itzhaky authored May 8, 2022
  
  2629489f
- [doc] Minor tweak. · 411bcacb
  Shachar Itzhaky authored May 8, 2022
  
  411bcacb
May 07, 2022
- [doc] Styling: added KaTeX math. · 42917140
  Shachar Itzhaky authored May 7, 2022
  
  42917140
May 06, 2022
- [bugfix] FOUC countermeasures. · f1274941
  Shachar Itzhaky authored May 6, 2022
  
  f1274941
- [doc] Finish landing page text & clean up. · 7fa48fb7
  Shachar Itzhaky authored May 6, 2022
  
  7fa48fb7
- [doc] Landing page: sqrt_2 now replaces inf-primes. · 9b76a1fd
  Shachar Itzhaky authored May 6, 2022
  9b76a1fd
- [doc] Embedded `sqrt_2` proof + walkthrough. · d00fb16a
  Shachar Itzhaky authored May 6, 2022
  
  d00fb16a
- [ui] Some styling corrections. · b59b4c0d
  Shachar Itzhaky authored May 6, 2022
  b59b4c0d
- [doc] Landing page navbar. · 7885522a
  Shachar Itzhaky authored May 5, 2022
  7885522a
May 18, 2021
- [doc] Added link to Coq tutorial. · ee1ba530
  Shachar Itzhaky authored May 18, 2021
  ee1ba530
May 09, 2021
- [doc] Import problem circumvented. · ffe7632f
  Shachar Itzhaky authored May 9, 2021
  ffe7632f
May 08, 2021
- [bugfix] Zulip link restored. · 392d0531
  Shachar Itzhaky authored May 8, 2021
  392d0531
- [doc] Updated landing page. · 174d8e71
  Shachar Itzhaky authored May 8, 2021
  
  174d8e71
Mar 04, 2021
- [doc] Updated documentation with information about sharing snippets. · 169ce445
  Shachar Itzhaky authored Feb 17, 2021
  
  169ce445
Jan 13, 2021
- [gfx] Icon enhancement. · a000a4e5
  Shachar Itzhaky authored Jan 13, 2021
  a000a4e5
Sep 21, 2020
- [cleanup] Normalized key bindings in CodeMirror. · 20b81d7e
  Shachar Itzhaky authored Sep 21, 2020
  20b81d7e
Aug 11, 2020
- [build] Some cleanup. · 31bbfa2b
  Shachar Itzhaky authored Aug 11, 2020
  
  31bbfa2b
Aug 07, 2020
- [feature] [pkg] Package chunks. · dbdcba7a
  Shachar Itzhaky authored Apr 26, 2020
  
  dbdcba7a
Aug 04, 2020
- [doc] Simplify preamble in landing page. · 5225052e
  Shachar Itzhaky authored Aug 3, 2020
  
  5225052e
Apr 04, 2020
- [docs] Small typos. · 8790589e
  Shachar Itzhaky authored Apr 4, 2020
  
  8790589e
- [addons] Support for QuickChick · a426c150
  Emilio Jesus Gallego Arias authored Apr 4, 2020
  Unverified
  
  a426c150
Apr 02, 2020
- [docs] Added list of contributors. · 824b9da7
  Shachar Itzhaky authored Apr 2, 2020
  
  824b9da7
- [docs] Freshen up the look of the landing page. · e034e9ce
  Shachar Itzhaky authored Mar 20, 2020
  
  e034e9ce
Feb 06, 2020
- [cleanup] Got rid of "hands-off" class patch. · bc3ce035
  Shachar Itzhaky authored Feb 6, 2020
  bc3ce035
Jan 29, 2020
- [nit] Correct list of default packages in index.html · 6461416e
  Emilio Jesus Gallego Arias authored Jan 29, 2020
  
  Unverified
  
  6461416e
Jan 25, 2020
- [addons] [jscoq] Make ltac2 part of the init package. · 13f3299b
  Emilio Jesus Gallego Arias authored Jan 25, 2020
  Unverified
  
  13f3299b
Jan 24, 2020
- [addons] Fixes to addons builds · 6c1ce082
  Emilio Jesus Gallego Arias authored Jan 24, 2020
  Unverified
  
  6c1ce082
Dec 15, 2019
- [doc] Added scratch pad to index and updated key bindings. · ac02ff57
  Shachar Itzhaky authored Dec 15, 2019
  
  ac02ff57
Jun 20, 2019
- [cleanup] HTML conformity in index.html. · e6c280c5
  Shachar Itzhaky authored Jun 20, 2019
  
  e6c280c5
Apr 20, 2019
- [example] Correct name of addon. · 7d53c8da
  Emilio Jesus Gallego Arias authored Apr 20, 2019
  Unverified
  
  7d53c8da
Mar 24, 2019
- [misc] [doc] Improve CHANGES + a couple of minor nits / fixes. · fbbbf648
  Emilio Jesus Gallego Arias authored Mar 24, 2019
  
  Unverified
  
  fbbbf648
- [build] General Cleanups cherry-picked from the Dune PR (#37) · fdb19751
  Emilio Jesus Gallego Arias authored Mar 24, 2019
  Unverified
  
  fdb19751