repo.or.cz
/
texmacs.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Minor fix
2009-04-18
vdhoeven
Updated mime t
y
p
e support
commit
|
commitdiff
|
tree
2009-04-18
vdhoeven
Revert to strict mouse se
l
ections
commit
|
commitdiff
|
tree
2009-04-17
vdhoeven
T
o
p border fix
commit
|
commitdiff
|
tree
2009-04-17
v
dhoeven
Min
o
r improvement
commit
|
commitdiff
|
tree
2009-04-17
vdhoeven
F
i
x
d
e
letion of several c
e
lls in a t
a
ble
commit
|
commitdiff
|
tree
2009-04-17
vdhoeve
n
Better outward
s
electi
o
n
of text
commit
|
commitdiff
|
tree
2009-04-17
vdhoeven
Outward visible selection
s
using C-
s
pace
commit
|
commitdiff
|
tree
2009-04-17
vdhoeven
Volatil
e
selections from keyboard
commit
|
commitdiff
|
tree
2009-04-17
vdho
e
ven
Terminology
commit
|
commitdiff
|
tree
2009-04-17
vdhoeven
Opendesk
t
op con
f
ormity of
cut
-
and-
p
aste
commit
|
commitdiff
|
tree
2009-04-17
vdhoev
e
n
B
e
tter con
f
ormity of
cut-and-p
a
ste
commit
|
commitdiff
|
tree
2009-04-17
vdhoeven
Mor
e
elega
n
t
papyr
u
s
mode
commit
|
commitdiff
|
tree
2009-04-17
v
dhoe
v
en
Enable
M
ac spell check
e
r
commit
|
commitdiff
|
tree
2009-04-17
vdhoe
v
en
A
d
d mis
s
ing style file
commit
|
commitdiff
|
tree
2009-04-16
vdhoeven
Fixes
commit
|
commitdiff
|
tree
2009-04-16
vdhoeven
Remove
f
atal_error, la
s
t
part IV
commit
|
commitdiff
|
tree
2009-04-16
v
d
hoeven
Replace
m
ent of fatal_e
r
ror, part III
commit
|
commitdiff
|
tree
2009-04-16
vdhoeven
Re
p
l
a
ce fatal_error, part
II
commit
|
commitdiff
|
tree
2009-04-16
v
dhoev
e
n
Bug fixes and st
a
rt of re
p
lacement fatal_error by
ass
e
rt
commit
|
commitdiff
|
tree
2009-04-16
vdhoeven
Add debu
g
ging tools
f
or memory u
s
a
g
e
commit
|
commitdiff
|
tree
2009-04-16
vdhoeve
n
Cleaner e
v
alu
a
t
ion of scheme expressions inside se
s
sions
commit
|
commitdiff
|
tree
2009-04-16
vd
h
oeven
Cor
r
ect bug
w
hich prevente
d
t
o
execute scheme session
s
commit
|
commitdiff
|
tree
2009-04-16
vdhoeven
Addition
commit
|
commitdiff
|
tree
2009-03-28
vdhoeven
M
inor addition
commit
|
commitdiff
|
tree
2009-03-19
vdhoev
e
n
Mi
n
or additions
commit
|
commitdiff
|
tree
2009-03-11
vdhoeven
Minor modi
f
icati
o
ns
commit
|
commitdiff
|
tree
2009-02-26
v
d
h
oeven
F
4 ->
only
preview
commit
|
commitdiff
|
tree
2009-02-26
v
d
hoeven
Minor cha
n
ges
commit
|
commitdiff
|
tree
2009-02-08
vdhoeven
M
i
no
r
updates
commit
|
commitdiff
|
tree
2009-02-08
vd
h
oeven
M
inor chang
e
s
commit
|
commitdiff
|
tree
2009-01-27
vdhoeven
Fixes for
elsart
st
y
l
e
commit
|
commitdiff
|
tree
2009-01-27
vdho
e
ven
Minor
f
i
x
commit
|
commitdiff
|
tree
2009-01-22
vdh
o
even
Im
p
rov
e
m
ents in colori
n
g
commit
|
commitdiff
|
tree
2009-01-22
vdhoeve
n
Patch for sel
e
ctions
u
nder K
D
E 4
commit
|
commitdiff
|
tree
2009-01-21
vd
h
oeven
Add mis
s
ing fil
e
commit
|
commitdiff
|
tree
2009-01-19
vdhoeven
Minor
f
ix
commit
|
commitdiff
|
tree
2009-01-19
v
dhoeven
Update
d
ocumentation
commit
|
commitdiff
|
tree
2009-01-19
v
d
hoe
v
en
Insert safe-gu
a
rds
commit
|
commitdiff
|
tree
2009-01-19
vdh
o
even
Nicer prompt rendering
commit
|
commitdiff
|
tree
2009-01-19
vdhoeve
n
Specific inpu
t
an
d
input
-
math tags when no
o
u
tput is
.
.
.
commit
|
commitdiff
|
tree
2009-01-19
v
d
hoev
e
n
Renamings
commit
|
commitdiff
|
tree
2009-01-19
vdhoe
v
en
Accelerate
going
u
p an
d
d
own
insid
e
sessio
n
s
commit
|
commitdiff
|
tree
2009-01-19
vdhoe
v
en
Fix
commit
|
commitdiff
|
tree
2009-01-19
v
dhoeve
n
Re
o
rganize
commit
|
commitdiff
|
tree
2009-01-19
v
dhoe
v
e
n
Fix
commit
|
commitdiff
|
tree
2009-01-19
vd
h
oeven
Reorganize
commit
|
commitdiff
|
tree
2009-01-19
vdhoeven
R
eorganize
commit
|
commitdiff
|
tree
2009-01-19
vdhoe
v
e
n
Reorganize
commit
|
commitdiff
|
tree
2009-01-19
vdh
o
e
v
e
n
Rena
m
i
ng
s
commit
|
commitdiff
|
tree
2009-01-19
v
dhoeven
Remove
o
bsolete documentatio
n
on
'mutato
r
' tags
commit
|
commitdiff
|
tree
2009-01-19
vdhoe
v
en
R
emove obsolete
d
ocumentati
o
n on mu
t
ator tags
commit
|
commitdiff
|
tree
2009-01-19
vdhoeven
R
emove obsolete doc
u
mentation for
'mutator'
t
a
g
commit
|
commitdiff
|
tree
2009-01-19
v
dhoeven
Re
n
a
m
e, co
n
tinued
commit
|
commitdiff
|
tree
2009-01-19
vdhoe
v
en
Rename
commit
|
commitdiff
|
tree
2009-01-19
vdhoeven
Cle
a
ni
n
g
commit
|
commitdiff
|
tree
2009-01-19
vdhoeven
Cleaning
commit
|
commitdiff
|
tree
2009-01-19
vdho
e
ven
Re
m
o
v
e
m
u
t
a
tor
construct
commit
|
commitdiff
|
tree
2009-01-19
vdh
o
even
Remov
e
mu
t
ator construc
t
commit
|
commitdiff
|
tree
2009-01-19
vdhoeven
Start cleaning
commit
|
commitdiff
|
tree
2009-01-19
vdho
e
ven
Efficie
n
t page up and down inside ses
s
ions
commit
|
commitdiff
|
tree
2009-01-19
vdhoeven
Ef
f
ici
e
nt up and do
w
n
inside se
s
sions
commit
|
commitdiff
|
tree
2009-01-19
vdho
e
ven
Adapt
s
cript-edit
t
o new co
n
nection mechanism
commit
|
commitdiff
|
tree
2009-01-18
v
d
hoe
v
en
Minor fixes
commit
|
commitdiff
|
tree
2009-01-18
vdhoe
v
en
Make sess
i
on notifiers indepe
n
dent from connectio
n
.
.
.
commit
|
commitdiff
|
tree
2009-01-18
vdhoeven
Fix
commit
|
commitdiff
|
tree
2009-01-14
vdhoeve
n
New implementation of sessions,
p
a
rt
I
commit
|
commitdiff
|
tree
2009-01-09
vd
h
o
e
ven
remove debuggi
n
g output
commit
|
commitdiff
|
tree
2009-01-09
vdhoeven
Fix an
d
implem
e
nta
t
ion o
f
'
l
ocus-set
'
commit
|
commitdiff
|
tree
2009-01-09
vdhoeven
Mirroring
a
cros
s
li
n
ks
commit
|
commitdiff
|
tree
2009-01-08
vdhoeven
Help user in order to
pla
c
e
labels
c
orr
e
ctly
commit
|
commitdiff
|
tree
2009-01-08
v
d
h
o
even
F
ixes
commit
|
commitdiff
|
tree
2009-01-07
vdho
e
ven
F
i
x
commit
|
commitdiff
|
tree
2009-01-07
vdhoeve
n
Fi
x
commit
|
commitdiff
|
tree
2009-01-07
vdho
e
ven
Gen
e
r
a
l
i
z
e use o
f
'm
o
dification' type, continued
commit
|
commitdiff
|
tree
2009-01-07
vd
h
oeven
Generaliz
e
use
of 'modificatio
n
' type
commit
|
commitdiff
|
tree
2009-01-06
v
dhoeven
Use
new 'modif
i
cation' class
commit
|
commitdiff
|
tree
2009-01-06
vdhoeven
Fixes
commit
|
commitdiff
|
tree
2009-01-06
v
dhoeven
S
t
art adding
s
pecia
l
ty
p
e
for ele
m
en
t
ary tree modifications
commit
|
commitdiff
|
tree
2009-01-06
v
d
ho
e
ven
St
a
rt notifying c
h
anges to
links
commit
|
commitdiff
|
tree
2009-01-06
vdhoev
e
n
Fix a
b
ug
commit
|
commitdiff
|
tree
2009-01-02
vdhoeve
n
Clea
n
i
ng
commit
|
commitdiff
|
tree
2009-01-02
vdhoeven
Change notifications to editor via o
b
server
s
commit
|
commitdiff
|
tree
2009-01-02
v
d
hoeven
Introduce edit_obs
e
rvers
commit
|
commitdiff
|
tree
2009-01-02
vdhoeven
Announce
modifications to
a
ll parent
trees
commit
|
commitdiff
|
tree
2009-01-01
vdhoeve
n
Update
commit
|
commitdiff
|
tree
2009-01-01
vdhoeven
CVS -> SVN
commit
|
commitdiff
|
tree
2009-01-01
vdhoeven
Fix fo
r
mkdir
commit
|
commitdiff
|
tree
2009-01-01
vdhoe
v
e
n
CV
S
-
>
S
V
N
commit
|
commitdiff
|
tree
2009-01-01
v
dhoeven
F
i
x f
o
r
older g++
c
o
m
p
i
lers
commit
|
commitdiff
|
tree
2008-12-31
vdhoeven
CVS -> SVN
commit
|
commitdiff
|
tree
2008-12-31
vdhoev
e
n
Migration
CVS ->
SVN
commit
|
commitdiff
|
tree
2008-12-31
vdho
e
ven
Upg
r
ade to version 1
.
0
.
7
.
1
commit
|
commitdiff
|
tree
2008-12-31
vdhoeven
Up
g
rade
to version 1
.
0
.
7
.
1
commit
|
commitdiff
|
tree
2008-12-29
v
d
hoeve
n
M
inor chang
e
s
commit
|
commitdiff
|
tree
2008-12-19
v
d
hoeven
Further fi
x
es
commit
|
commitdiff
|
tree
2008-12-19
v
dhoeve
n
Minor fix
commit
|
commitdiff
|
tree
2008-12-19
v
dhoeven
Mino
r
fix
commit
|
commitdiff
|
tree
2008-12-19
vdhoeven
F
ix warnings
commit
|
commitdiff
|
tree
2008-12-19
vd
h
oeven
Mi
n
o
r
fix
commit
|
commitdiff
|
tree
2008-12-19
v
d
hoeven
Cl
e
an
i
ng for X11
commit
|
commitdiff
|
tree
next
