Comments (2)
aa755
commented on August 23, 2024
after removing some locks, the IDE freeze issue seems to be gone.
(probably, the IDE UI threads were waiting on locks held by the thread
talking to coqtop)
from nbcoq.
aa755
commented on August 23, 2024
As mentioned in coq-club forum, to interrupt coqtop when it is taking too much time on
a single command, manually send SIGINT to the associated coqtop process. In windows, I have had success w/
http://www.latenighthacking.com/projects/2003/sendSignal/
from nbcoq.
Related Issues (18)
- misalignment on rewind HOT 1
- selected item in subgoal list not updated
- . followed by a whitespace char in a string
- too many variables of same type can mess up display
- Jump to Definition when target in Large Files
- HoTT-coq XML forest parse error HOT 1
- cloning an editorpane causes problems. HOT 1
- comment in front of +(when used for unfocusing other goals) causes parsing error
- wierd IDE exception when remotely logging(RDP) into the computer running this pugin HOT 1
- using Source | Shift left to add indentation in compiled(blue) area messes up compiled offset
- non-informative error if CoqOptions not set (on first use)
- editing in area being compiled (sometimes?)causes unwind to top at finish HOT 1
- closing and reopening a file
- jump to definition fails on (co)Inductive constructors HOT 1
- jump to definition does not take into account Add LoadPath directives
- misaligned error highlight when uincode characters present in the chunk sent to coqtop
- stopping coqtop externally in linux does not work HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from nbcoq.