issues
search
jcreedcmu
/
twelf-mac
Other
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Implement cancellation for twelf evaluation
#37
jcreedcmu
closed
1 month ago
0
Implement cancellation for twelf execution
#36
jcreedcmu
opened
1 month ago
0
Move twelf execution slices to idle portion of main event loop
#35
jcreedcmu
closed
1 month ago
0
Move twelf execution slices to idle portion of main event loop
#34
jcreedcmu
closed
1 month ago
0
Hyphen is not the same as en dash
#33
tom7
closed
2 months ago
2
Implement Finder Icon Help Resource
#32
jcreedcmu
closed
2 months ago
1
Implement Finder Icon Help Resource
#31
agoode
closed
2 months ago
1
Implement Print command
#30
jcreedcmu
opened
2 months ago
3
Log git commit hashes of dependencies
#29
jcreedcmu
closed
2 months ago
1
Debug Log doesn't capture debug info unless opened
#28
agoode
closed
2 months ago
1
make stderr go to the debug window
#27
agoode
closed
2 months ago
0
Figure out how to allow twelf code to control event loop
#26
jcreedcmu
opened
3 months ago
4
Twelf FFI
#25
jcreedcmu
opened
3 months ago
0
Divide windows into types
#23
jcreedcmu
closed
3 months ago
0
Better OOM support
#22
agoode
opened
3 months ago
0
Twelf should avoid long-running uninterruptable computation
#21
agoode
opened
3 months ago
6
About box needs more licenses
#20
agoode
opened
3 months ago
9
Twelf about box halts all computation when open
#19
agoode
closed
3 months ago
7
Show Twelf logo in about box
#18
jcreedcmu
closed
3 months ago
2
Need clear acceptable license for TESample
#17
agoode
closed
2 months ago
4
Twelf output pretty-printing wrong after a certain point
#16
jcreedcmu
opened
3 months ago
3
Comments seem to interrupt twelf output somehow
#15
jcreedcmu
closed
3 months ago
2
Support Open Apple Events
#14
jcreedcmu
closed
3 months ago
0
Convert `\r` to `\n` before executing twelf text
#13
jcreedcmu
closed
3 months ago
0
Make debugging logging more systematic
#12
jcreedcmu
closed
2 months ago
1
Should scroll to end when producing twelf output
#11
jcreedcmu
closed
3 months ago
1
Output window not special enough
#10
jcreedcmu
closed
3 months ago
0
Respond to AppleEvents
#9
jcreedcmu
closed
3 months ago
2
Quit should prompt in case of unsaved files
#8
jcreedcmu
closed
3 months ago
0
Files are never truncated
#7
jcreedcmu
closed
3 months ago
3
Refresh text after File > Open (Fix #5)
#6
jcreedcmu
closed
3 months ago
2
File > Open does not refresh the visible text in a document
#5
jcreedcmu
closed
3 months ago
0
Change Retro68 package from 'standalone' to 'monolithic'
#4
jcreedcmu
closed
3 months ago
3
Implement New
#3
agoode
closed
3 months ago
0
Run twelf on startup with empty input
#2
agoode
closed
3 months ago
0
Make dockerfile mac-compatible (use Debian version of mlton)
#1
agoode
closed
3 months ago
1