Joris van der Hoeven
|
604c7874ae
|
Updates
|
2011-09-01 22:57:35 +00:00 |
Joris van der Hoeven
|
b547bd454c
|
Updates
|
2011-09-01 20:54:19 +00:00 |
Joris van der Hoeven
|
1e53b5c1ad
|
News
|
2011-08-31 16:30:27 +00:00 |
Joris van der Hoeven
|
6dbca3c963
|
Customized Html generation
|
2011-08-31 14:15:38 +00:00 |
Joris van der Hoeven
|
468d8183c6
|
Remove backups
|
2011-08-30 13:25:40 +00:00 |
Joris van der Hoeven
|
03afda39c4
|
Further documentation of the Insert -> Fold -> Executable menu
|
2011-08-30 10:53:55 +00:00 |
Joris van der Hoeven
|
ceee4cf5e2
|
Document multi-line switch input
|
2011-08-30 10:47:53 +00:00 |
Joris van der Hoeven
|
419c486958
|
Documentation on how to write documentation for plug-ins
|
2011-08-30 09:47:54 +00:00 |
Joris van der Hoeven
|
d0f1c3f90f
|
Remove obsolete
|
2011-08-29 20:04:53 +00:00 |
Joris van der Hoeven
|
545c63bd21
|
Rename
|
2011-08-29 19:59:38 +00:00 |
Joris van der Hoeven
|
3947113659
|
Rename
|
2011-08-29 19:58:23 +00:00 |
Joris van der Hoeven
|
25115ddee0
|
Rename
|
2011-08-29 19:57:11 +00:00 |
Joris van der Hoeven
|
9648af86b1
|
Remove obsolete
|
2011-08-29 19:51:38 +00:00 |
Joris van der Hoeven
|
16d6465135
|
Rename
|
2011-08-29 19:45:59 +00:00 |
Joris van der Hoeven
|
29aa8e4db9
|
Short documentation on scripting languages
|
2011-08-29 17:28:14 +00:00 |
Joris van der Hoeven
|
9bfe24cb98
|
Updates
|
2011-08-29 16:29:31 +00:00 |
Joris van der Hoeven
|
dee2ca7030
|
Name changes
|
2011-08-29 14:08:44 +00:00 |
Joris van der Hoeven
|
4c029d0430
|
Remove obsolete
|
2011-08-29 13:58:12 +00:00 |
Joris van der Hoeven
|
21657c0d8a
|
Remove obsolete
|
2011-08-29 13:57:25 +00:00 |
Joris van der Hoeven
|
523eb13e2c
|
Rename
|
2011-08-28 20:36:27 +00:00 |
Joris van der Hoeven
|
e3e0e911ce
|
Remove
|
2011-08-28 20:19:05 +00:00 |
Joris van der Hoeven
|
5079ae0994
|
Rename
|
2011-08-28 20:17:59 +00:00 |
Joris van der Hoeven
|
570a3ba411
|
Rename back
|
2011-08-28 20:15:08 +00:00 |
Joris van der Hoeven
|
5d8eb1c73e
|
Rename
|
2011-08-28 20:04:54 +00:00 |
Joris van der Hoeven
|
6bdf7bf1b8
|
Update documentation on focus
|
2011-08-28 19:53:34 +00:00 |
Joris van der Hoeven
|
f162af07e0
|
Rename
|
2011-08-28 08:02:22 +00:00 |
Joris van der Hoeven
|
37b5b1132d
|
Rename
|
2011-08-28 07:59:50 +00:00 |
Joris van der Hoeven
|
024cd56685
|
Reorganize
|
2011-08-28 07:50:00 +00:00 |
Joris van der Hoeven
|
29c3502302
|
Upgrade to version 1.0.7.10
|
2011-03-05 10:04:56 +00:00 |
Joris van der Hoeven
|
84278f1f31
|
Fix
|
2011-01-03 09:34:10 +00:00 |
Joris van der Hoeven
|
a3459f1657
|
Information on changes in version 1.0.7.10
|
2010-12-28 21:21:19 +00:00 |
Joris van der Hoeven
|
09286e1dfc
|
Minor correction
|
2010-12-13 15:03:58 +00:00 |
Joris van der Hoeven
|
667837533f
|
Make auto-closing brackets the default
|
2010-12-13 14:36:20 +00:00 |
Massimiliano Gubinelli
|
955c22df1e
|
restore some more lost commits in src (from original rev 3875)
|
2010-11-30 22:00:46 +00:00 |
Joris van der Hoeven
|
9f97b8f75d
|
Minor addition
|
2010-10-19 15:14:04 +00:00 |
Joris van der Hoeven
|
b2b3f8d1b8
|
Warn user about changes
|
2010-10-19 12:09:21 +00:00 |
Joris van der Hoeven
|
a68d116884
|
Fixes
|
2010-09-22 21:31:55 +00:00 |
Joris van der Hoeven
|
048a5b5b98
|
Compute shortcuts from scheme commands, part III
|
2010-09-22 17:02:17 +00:00 |
Joris van der Hoeven
|
69e53e9511
|
Keyboard shortcuts from scheme commands, part II
|
2010-09-22 15:18:17 +00:00 |
Joris van der Hoeven
|
09685ae160
|
Various enhancements
|
2010-09-21 08:48:50 +00:00 |
Massimiliano Gubinelli
|
b49a657f39
|
Support for X11 TeXmacs.app on Mac
|
2009-06-04 15:13:41 +00:00 |
Joris van der Hoeven
|
adcecdc1ba
|
Warn about linking tool
|
2006-06-08 14:28:00 +00:00 |
Joris van der Hoeven
|
41b0d382e8
|
Warning for linking tool upgrade
|
2006-06-08 14:25:44 +00:00 |
Joris van der Hoeven
|
02e4144761
|
Fixes
|
2005-10-09 18:57:38 +00:00 |
Joris van der Hoeven
|
3c697e8bfe
|
Warning about title upgrade.
|
2004-08-07 16:53:20 +00:00 |
Joris van der Hoeven
|
110ef1ffa1
|
Better mutator timing and implement mutations in windows without focus.
|
2004-05-08 10:46:28 +00:00 |
Joris van der Hoeven
|
e9b108ab17
|
Report dangerous changes in new version.
|
2004-03-30 09:21:58 +00:00 |
Joris van der Hoeven
|
f9a1df02e6
|
Warn for changes.
|
2003-11-22 16:11:45 +00:00 |
Joris van der Hoeven
|
2d2d08afc1
|
Further details about changes between 1.0.2.6 and 1.0.2.7
|
2003-11-05 12:25:52 +00:00 |
Joris van der Hoeven
|
cad837ff17
|
Documentation on Savannah from now on.
|
2003-10-26 14:09:56 +00:00 |