Slava Pestov
|
2c4d058fdc
|
markup cleanups, removed terpri*, help responder and browser responder improvements
|
2006-01-21 07:37:39 +00:00 |
|
Slava Pestov
|
3e6eb47785
|
words chapter of handbook converted
|
2006-01-06 07:04:42 +00:00 |
|
Slava Pestov
|
0771037b15
|
help system and tutorial improvements
|
2005-12-29 01:25:17 +00:00 |
|
Slava Pestov
|
cec0fc6ddd
|
fix scrolling bug and added a new browser pane component
|
2005-12-22 23:38:10 +00:00 |
|
Slava Pestov
|
b2307c91e6
|
markup language work
|
2005-12-20 04:18:15 +00:00 |
|
Slava Pestov
|
9942630dad
|
markup fixes; changing some stream protocol details
|
2005-12-19 07:12:40 +00:00 |
|
Slava Pestov
|
3880c058ff
|
paragraph styles
|
2005-12-18 01:03:41 +00:00 |
|
Slava Pestov
|
35c40cb781
|
event handling cleanups
|
2005-12-17 05:12:32 +00:00 |
|
Slava Pestov
|
b7992f93a5
|
fixing various bugs
|
2005-12-17 03:24:39 +00:00 |
|
Slava Pestov
|
cf9fde020f
|
extended stream output protocol
|
2005-12-17 02:12:35 +00:00 |
|
Slava Pestov
|
7835222da8
|
httpd fixes
|
2005-11-30 04:49:59 +00:00 |
|
Slava Pestov
|
9ef9193308
|
new hashtable
|
2005-11-27 22:45:48 +00:00 |
|
Slava Pestov
|
23738087aa
|
big syntax change: vectors are now V{ }, hashtables are now H{ }, tuples T{ }, wrappers W{ }, complexes C{ }, arrays { }
|
2005-10-30 03:25:38 +00:00 |
|
Slava Pestov
|
26ca341958
|
some UI cleanups
|
2005-10-27 20:17:50 +00:00 |
|
Slava Pestov
|
57e90a5513
|
latest fixes
|
2005-10-11 01:12:53 +00:00 |
|
Slava Pestov
|
47f511d8a6
|
some UI refactoring
|
2005-10-08 00:26:21 +00:00 |
|
Slava Pestov
|
850d040b65
|
fix bootstrap failure
|
2005-10-01 05:44:49 +00:00 |
|
Slava Pestov
|
8c1bf3624e
|
minor UI fixes
|
2005-09-29 03:29:00 +00:00 |
|
Slava Pestov
|
b9165cd02c
|
arrows in the UI, and various cleanups
|
2005-09-27 04:24:42 +00:00 |
|
Slava Pestov
|
8af730f791
|
working on presentation outliner to replace mindmap
|
2005-09-25 05:10:02 +00:00 |
|
Slava Pestov
|
b6e1569ef5
|
make panes a bit more flexible
|
2005-09-25 04:18:12 +00:00 |
|
Slava Pestov
|
c4cec1321c
|
rename ifte to if
|
2005-09-24 19:21:17 +00:00 |
|
Slava Pestov
|
7decaf614e
|
inference updates for callcc inference
|
2005-09-18 05:37:28 +00:00 |
|
Slava Pestov
|
bf5d88b649
|
changes to continuation words
|
2005-09-14 04:37:50 +00:00 |
|
Slava Pestov
|
f9600934c6
|
UI fixed and other tweaks
|
2005-09-12 22:14:29 +00:00 |
|
Slava Pestov
|
27439f95c9
|
arrays are now better supported, various cleanups
|
2005-09-12 00:46:55 +00:00 |
|
Slava Pestov
|
2bf2a92f54
|
fix tutorial button
|
2005-09-03 22:44:45 +00:00 |
|
Slava Pestov
|
b518afab32
|
Mindmap gadget
|
2005-09-01 05:20:43 +00:00 |
|
Slava Pestov
|
42ac874cbd
|
more cleanups; split up huge gadgets vocabulary
|
2005-09-01 01:06:13 +00:00 |
|
Slava Pestov
|
b5eaee6081
|
UI fixes
|
2005-08-29 22:18:10 +00:00 |
|
Slava Pestov
|
9b361d749b
|
UI code cleanups
|
2005-08-27 01:42:43 +00:00 |
|
Slava Pestov
|
70e4c7001f
|
stack display hooks for single-stepper and inspector, reworking scrolling
|
2005-08-26 22:18:07 +00:00 |
|
Slava Pestov
|
3d173c3af5
|
nicer-looking menus in UI
|
2005-08-26 04:55:56 +00:00 |
|
Slava Pestov
|
01a1f8cede
|
minor pane optimization
|
2005-08-25 01:52:10 +00:00 |
|
Slava Pestov
|
03168a86e5
|
dataflow optimizer work, phasing out 3list/3unlist
|
2005-07-28 00:13:11 +00:00 |
|
Slava Pestov
|
50eeb1db28
|
handbook updates, HTML-format changelog
|
2005-07-22 01:43:37 +00:00 |
|
Slava Pestov
|
3956f12627
|
rename stream-auto-flush to stream-finish
|
2005-07-22 01:05:17 +00:00 |
|
Slava Pestov
|
ce41c5d642
|
fixed stack comments of read1, minor UI updates
|
2005-07-20 02:29:57 +00:00 |
|
Slava Pestov
|
bf59485c2f
|
more minor UI cleanups
|
2005-07-19 21:51:59 +00:00 |
|
Slava Pestov
|
9004533730
|
, no longer has the deprecated string append behavior, added stream-write1 generic
|
2005-07-17 18:48:55 +00:00 |
|
Slava Pestov
|
a1f3680708
|
ui listener shows the stack now, fixed gadget display command
|
2005-07-14 04:32:52 +00:00 |
|
Slava Pestov
|
e6327cec9b
|
presentation fixes, prettyprinter cleanup
|
2005-07-14 02:51:43 +00:00 |
|
Slava Pestov
|
d4e3075eeb
|
fix a few minor menu bugs
|
2005-07-09 22:32:31 +00:00 |
|
Slava Pestov
|
0a8477701a
|
fix hang with incremental layout
|
2005-07-09 20:08:50 +00:00 |
|
Slava Pestov
|
f69e594d90
|
UI layout management work
|
2005-07-08 05:32:29 +00:00 |
|
Slava Pestov
|
dd363f33a8
|
better presentations in UI
|
2005-07-06 07:29:42 +00:00 |
|
Slava Pestov
|
b11713a641
|
start incremental layout
|
2005-07-06 05:57:58 +00:00 |
|
Slava Pestov
|
43348dd4c4
|
better focus protocol, fix problem with the first line in a pane
|
2005-07-04 22:36:07 +00:00 |
|
Slava Pestov
|
cdf58fae57
|
presentations in UI of words and vocabs
|
2005-06-29 04:33:07 +00:00 |
|
Slava Pestov
|
ebdcb51063
|
fixes to menu code in UI, hacked up presentations in listener
|
2005-06-27 20:50:21 +00:00 |