EugeneLoy/coq_jupyter issues and pull requests

#53 - Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows

Pull Request - State: open - Opened by dependabot[bot] 6 months ago
Labels: dependencies

#52 - coqidetop.opt returned non-zero exit status 2

Issue - State: open - Opened by nthiery over 1 year ago - 8 comments

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

Issue - State: open - Opened by brando90 almost 2 years ago - 1 comment

#50 - test

Issue - State: closed - Opened by EugeneLoy almost 2 years ago

#49 - Fixed Uninstall Markdown

Pull Request - State: closed - Opened by ColmBhandal almost 3 years ago - 1 comment

#48 - Installation enhancement

Pull Request - State: closed - Opened by ColmBhandal almost 3 years ago - 1 comment

#47 - Add Uninstall Steps to README.md

Issue - State: closed - Opened by ColmBhandal almost 3 years ago - 1 comment

#46 - Coq Community Survey 2022 feedback

Issue - State: open - Opened by Zimmi48 almost 3 years ago

#45 - Coq 8.15

Issue - State: closed - Opened by silene about 3 years ago - 2 comments

#44 - Update ci

Issue - State: closed - Opened by EugeneLoy about 5 years ago - 1 comment

#43 - Add option to specify coqtop executable

Issue - State: closed - Opened by EugeneLoy about 5 years ago - 1 comment

#42 - Unnecessary focusing triggers incorrect display on "No more subgoals".

Issue - State: closed - Opened by Zimmi48 about 5 years ago - 5 comments

#41 - Incorrect sentence splitting

Issue - State: closed - Opened by Zimmi48 about 5 years ago - 4 comments

#40 - Print differently when some unfocused goals remain.

Issue - State: closed - Opened by Zimmi48 about 5 years ago - 3 comments

#39 - Improve support for JupyterLab

Issue - State: open - Opened by EugeneLoy over 5 years ago - 2 comments

#38 - Deprecate Python 2 support

Issue - State: closed - Opened by XVilka over 5 years ago - 2 comments

#37 - Add a screenshot or animation

Issue - State: open - Opened by XVilka over 5 years ago - 1 comment

#36 - Add Conda install instructions and badge to README

Pull Request - State: closed - Opened by slel over 5 years ago - 1 comment

#35 - Add LICENSE in MANIFEST.in

Pull Request - State: closed - Opened by slel over 5 years ago - 6 comments

#34 - Add browsable cell evaluation history

Issue - State: open - Opened by EugeneLoy almost 6 years ago

#33 - Implement partial rollbacks

Issue - State: open - Opened by EugeneLoy almost 6 years ago

#32 - Output correct state labels

Issue - State: closed - Opened by EugeneLoy almost 6 years ago - 5 comments

#31 - Fix failing tests on newer versions of tornado

Issue - State: open - Opened by EugeneLoy almost 6 years ago

#30 - Enforce cell evaluation order

Issue - State: open - Opened by EugeneLoy about 6 years ago

#29 - Kernel in Cocalc doesn't display the Rollback button

Issue - State: closed - Opened by EugeneLoy about 6 years ago - 4 comments

#28 - Automatic rollback

Issue - State: closed - Opened by Zimmi48 about 6 years ago - 16 comments

#27 - Add highlighting to cell outputs

Issue - State: open - Opened by EugeneLoy about 6 years ago

#26 - Fix kernel hang

Issue - State: closed - Opened by EugeneLoy about 6 years ago - 1 comment

#25 - Add a Gitter chat badge to README.md

Pull Request - State: closed - Opened by gitter-badger about 6 years ago

#24 - Use ide xml protocol

Issue - State: closed - Opened by EugeneLoy about 6 years ago - 1 comment

#23 - Improve handling warning outputs

Issue - State: closed - Opened by EugeneLoy about 6 years ago

#22 - Filter out useless "dependent evars : printing disabled" message.

Issue - State: closed - Opened by EugeneLoy about 6 years ago

#21 - Investigate and fix unicode decode error.

Issue - State: closed - Opened by EugeneLoy about 6 years ago - 2 comments

#20 - Add rollback shortcut

Issue - State: closed - Opened by EugeneLoy about 6 years ago

#19 - Improve code highlighting (CodeMirror mode)

Issue - State: open - Opened by EugeneLoy about 6 years ago - 1 comment

#18 - Add syntax highlight

Issue - State: closed - Opened by EugeneLoy about 6 years ago - 3 comments

#17 - Display all information from coqtop prompt

Issue - State: closed - Opened by EugeneLoy about 6 years ago - 1 comment

#16 - Add convenient backtracking

Issue - State: closed - Opened by EugeneLoy about 6 years ago - 1 comment

#15 - Add testing over multiple coqtop versions to CI

Issue - State: closed - Opened by EugeneLoy about 6 years ago

#14 - Add ability to supply extra args to coqtop

Issue - State: closed - Opened by EugeneLoy about 6 years ago

#13 - Handle "Quit." gracefully.

Issue - State: closed - Opened by EugeneLoy about 6 years ago

#12 - Update\test readme

Issue - State: closed - Opened by EugeneLoy about 6 years ago

#11 - Ensure correct handling of kernel\coqtop lifecycle

Issue - State: closed - Opened by EugeneLoy about 6 years ago

#10 - Add windows support

Issue - State: open - Opened by EugeneLoy about 6 years ago - 4 comments

#9 - Ensure commands spanning multiple cells does not cause problems

Issue - State: closed - Opened by EugeneLoy about 6 years ago - 1 comment

#8 - Use "Set Silent"

Issue - State: closed - Opened by EugeneLoy about 6 years ago - 1 comment

#7 - Use coqtop with -emacs switch

Issue - State: closed - Opened by EugeneLoy about 6 years ago

#6 - Rework kernel error handling

Issue - State: closed - Opened by EugeneLoy about 6 years ago

#5 - Add binder examples

Issue - State: closed - Opened by EugeneLoy about 6 years ago

#4 - Add CI

Issue - State: closed - Opened by EugeneLoy about 6 years ago

#3 - Publish on PyPI

Issue - State: closed - Opened by EugeneLoy about 6 years ago

#2 - Package

Issue - State: closed - Opened by EugeneLoy about 6 years ago

#1 - Add license

Issue - State: closed - Opened by EugeneLoy about 6 years ago

GitHub / EugeneLoy/coq_jupyter issues and pull requests