All issues

Search results

Compatibility with Python-3.13

Status: Open.

#55 In EugeneLoy/coq_jupyter;

· dringsim opened on Mar 18, 2025

Incompatibilities between jupyter 6.x and 7.x

Status: Open.

#54 In EugeneLoy/coq_jupyter;

· tpanneck opened on Mar 10, 2025

coqidetop.opt returned non-zero exit status 2

Status: Open.

#52 In EugeneLoy/coq_jupyter;

· nthiery opened on Oct 3, 2023

Curious, why did you not use coq serapi by Emilio?

Status: Open.

#51 In EugeneLoy/coq_jupyter;

· brando90 opened on May 11, 2023

Coq Community Survey 2022 feedback

Status: Open.

#46 In EugeneLoy/coq_jupyter;

· Zimmi48 opened on Mar 28, 2022

Improve support for JupyterLab

Status: Open.

#39 In EugeneLoy/coq_jupyter;

· EugeneLoy opened on Oct 11, 2019

Add a screenshot or animation

Status: Open.

#37 In EugeneLoy/coq_jupyter;

· XVilka opened on Oct 11, 2019

Add browsable cell evaluation history

Status: Open.

#34 In EugeneLoy/coq_jupyter;

· EugeneLoy opened on Mar 29, 2019

Implement partial rollbacks

Status: Open.

#33 In EugeneLoy/coq_jupyter;

· EugeneLoy opened on Mar 28, 2019

Fix failing tests on newer versions of tornado

Status: Open.

#31 In EugeneLoy/coq_jupyter;

· EugeneLoy opened on Mar 3, 2019

Enforce cell evaluation order

Status: Open.

#30 In EugeneLoy/coq_jupyter;

· EugeneLoy opened on Feb 18, 2019

Add highlighting to cell outputs

Status: Open.

#27 In EugeneLoy/coq_jupyter;

· EugeneLoy opened on Jan 28, 2019