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 fixes for Windows version
2008-12-12
vd
h
oeven
Minor fixes for Win
d
ows version
commit
|
commitdiff
|
tree
2008-12-12
vdhoeven
Fi
x
es for Windo
w
s
-
Qt port
commit
|
commitdiff
|
tree
2008-12-12
vdhoeven
Fix bug
commit
|
commitdiff
|
tree
2008-12-12
vdhoeven
Uploaded guile
.
p
a
tch
commit
|
commitdiff
|
tree
2008-12-12
vdhoeven
U
p
date
s
for
SVN
commit
|
commitdiff
|
tree
2008-12-12
vdhoeven
Upd
a
tes fo
r
SVN
commit
|
commitdiff
|
tree
2008-12-10
vdhoe
v
en
Improvements in
H
TML e
x
port
commit
|
commitdiff
|
tree
2008-12-09
v
d
hoeven
Minor changes
commit
|
commitdiff
|
tree
2008-12-08
vdhoeven
Furthe
r
corr
e
ct
i
on
s
commit
|
commitdiff
|
tree
2008-12-08
vdhoeven
Better Html expo
r
t and
startin
g
perso
n
al web-pages
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
vdh
o
even
More portable 'chmod'
commit
|
commitdiff
|
tree
2008-12-01
v
dhoeven
Be
t
ter
'r
e
move'
commit
|
commitdiff
|
tree
2008-12-01
vdho
e
ven
More portable POSIX
supp
o
rt
commit
|
commitdiff
|
tree
2008-12-01
vdhoeven
More portable
'
m
kdir'
commit
|
commitdiff
|
tree
2008-12-01
v
d
hoeven
Add Cair
o
support
commit
|
commitdiff
|
tree
2008-12-01
vdhoeven
F
i
x
e
s
commit
|
commitdiff
|
tree
2008-12-01
vdhoeven
Spacing
commit
|
commitdiff
|
tree
2008-12-01
vdhoeven
C
a
iro ren
d
e
r
er
commit
|
commitdiff
|
tree
2008-12-01
vdhoeven
Add Cairo
plug-in
commit
|
commitdiff
|
tree
2008-11-28
vdho
e
ven
M
inor changes
commit
|
commitdiff
|
tree
2008-11-28
vdhoe
v
en
Add C++ highlighting
commit
|
commitdiff
|
tree
2008-11-28
vdhoev
e
n
Fixes
a
n
d
cleaning
commit
|
commitdiff
|
tree
2008-11-14
vd
h
o
even
R
e
f
ined keyboard control for grap
h
ics g
e
ometry
commit
|
commitdiff
|
tree
2008-11-14
vdhoev
e
n
Texin
f
o project
commit
|
commitdiff
|
tree
2008-11-13
vdhoeven
Multiple
bi
b
liographi
e
s
commit
|
commitdiff
|
tree
2008-11-11
vdhoeven
R
efe
r
ences to \item*
commit
|
commitdiff
|
tree
2008-11-10
vdhoeven
F
u
rther improvements
commit
|
commitdiff
|
tree
2008-11-10
vdhoeven
Mino
r
changes
commit
|
commitdiff
|
tree
2008-10-22
v
dhoeven
Minor fixes
commit
|
commitdiff
|
tree
2008-10-22
v
d
hoeve
n
I
mpr
o
v
e
m
ent
s
in
s
y
n
tax
h
igh
l
ighting
for M
a
the
m
agix
commit
|
commitdiff
|
tree
2008-10-22
vd
h
oeven
Minor correcti
o
ns
commit
|
commitdiff
|
tree
2008-10-22
vdhoeven
S
y
ntax highlighting for Math
e
magix
commit
|
commitdiff
|
tree
2008-10-20
vdhoeven
Fix for SUN OS
commit
|
commitdiff
|
tree
2008-10-18
vdho
e
ven
Indentation
commit
|
commitdiff
|
tree
2008-10-18
vdhoeven
Fixe
s
commit
|
commitdiff
|
tree
2008-10-18
vdhoeven
Correction
s
commit
|
commitdiff
|
tree
2008-10-18
v
d
ho
e
ven
Fixes
commit
|
commitdiff
|
tree
2008-10-17
v
d
ho
e
ven
Add os
-
mingw? p
r
edicate
commit
|
commitdiff
|
tree
2008-10-15
vdhoeven
A
d
d Massimiliano
commit
|
commitdiff
|
tree
2008-10-15
v
dhoeve
n
Upgra
d
e to
version 1
.
0
.
7
commit
|
commitdiff
|
tree
2008-10-15
v
d
hoeven
Upgrade
to versi
o
n 1
.
0
.
7
commit
|
commitdiff
|
tree
2008-10-15
v
dh
o
ev
e
n
Minor simplif
i
cat
i
on
commit
|
commitdiff
|
tree
2008-10-15
vdhoeven
F
i
xes
commit
|
commitdiff
|
tree
2008-10-15
vd
h
oeven
Minor correction
commit
|
commitdiff
|
tree
2008-10-15
v
dhoeven
Fi
x
es for MINGW
commit
|
commitdiff
|
tree
2008-10-15
vdh
o
e
v
en
Fixes for MINGW
commit
|
commitdiff
|
tree
2008-10-15
vd
h
oeven
Fix
e
s for Mi
n
G
W
commit
|
commitdiff
|
tree
2008-10-15
vdho
e
ven
Fix
commit
|
commitdiff
|
tree
2008-10-15
vdhoeven
Fixes for MinGW build
commit
|
commitdiff
|
tree
2008-10-15
vdhoeven
Further fix
e
s
for Min
G
W versio
n
commit
|
commitdiff
|
tree
2008-10-15
vdhoeve
n
Co
n
tinued mingw supp
o
rt
commit
|
commitdiff
|
tree
2008-10-15
vdhoeven
Star
t
uncommenting code for M
i
nGW port
commit
|
commitdiff
|
tree
2008-10-14
vdhoeven
Fix LaTeX import b
u
g
commit
|
commitdiff
|
tree
2008-10-14
vdhoeven
Dirty f
i
x for Help m
e
n
u issu
e
commit
|
commitdiff
|
tree
2008-10-14
vdhoeven
Re
o
rder
commit
|
commitdiff
|
tree
2008-10-14
v
dhoeven
Inc
r
ease reactivity
commit
|
commitdiff
|
tree
2008-10-13
vdhoev
e
n
Is red
r
awing interruption still n
e
cessary?
commit
|
commitdiff
|
tree
2008-10-13
vdhoev
e
n
Start display
i
nterrupts
commit
|
commitdiff
|
tree
2008-10-13
vdhoeven
C
leaning
of old Widkit stuff
commit
|
commitdiff
|
tree
2008-10-10
vdhoe
v
en
Last cosm
e
t
i
c cleanings
commit
|
commitdiff
|
tree
2008-10-10
v
dhoeven
Co
s
metic cleaning
commit
|
commitdiff
|
tree
2008-10-10
vdhoeven
Cosmetic cleani
n
g
commit
|
commitdiff
|
tree
2008-10-10
vdh
o
even
Cos
m
etic changes
commit
|
commitdiff
|
tree
2008-10-10
vdhoeven
Cosm
e
tic c
h
ang
e
s
commit
|
commitdiff
|
tree
2008-10-10
vdhoeven
C
o
sm
e
tic cle
a
ning
commit
|
commitdiff
|
tree
2008-10-10
vdhoeven
Cle
a
ning of C
+
+
f
i
l
es
commit
|
commitdiff
|
tree
2008-10-10
vdhoe
v
en
C
l
e
a
ner
h
eade
r
files
commit
|
commitdiff
|
tree
2008-10-10
vdh
o
even
Cleane
r
header files
commit
|
commitdiff
|
tree
2008-10-09
vdhoeven
Fix de
l
ayed repainting when upda
t
e is n
e
eded
commit
|
commitdiff
|
tree
2008-10-09
vdhoeve
n
Start
o
f
b
etter postponed red
r
a
w
ing
commit
|
commitdiff
|
tree
2008-10-09
vdhoe
v
en
Timer no long
e
r
necessary
commit
|
commitdiff
|
tree
2008-10-09
vdhoev
e
n
Add debuggin
g
inf
o
rmat
i
on
commit
|
commitdiff
|
tree
2008-10-09
vd
h
oe
v
e
n
C
orrect handl
i
n
g
o
f
m
o
use but
t
o
ns
commit
|
commitdiff
|
tree
2008-10-09
vdhoeven
Fixes
commit
|
commitdiff
|
tree
2008-10-09
vdh
o
even
Modifier fix
commit
|
commitdiff
|
tree
2008-10-09
v
d
hoeven
Minor fix
commit
|
commitdiff
|
tree
2008-10-09
vdhoeven
Fix foc
u
s
bug
commit
|
commitdiff
|
tree
2008-10-09
vdhoeven
C
osmetic changes
commit
|
commitdiff
|
tree
2008-10-09
v
dho
e
ven
Minor changes
commit
|
commitdiff
|
tree
2008-10-08
vdh
o
even
T
r
ack f
o
cus
commit
|
commitdiff
|
tree
2008-10-08
vdhoeven
C
o
s
m
e
tic changes
commit
|
commitdiff
|
tree
2008-10-08
vdhoev
e
n
Cosm
e
tic changes
commit
|
commitdiff
|
tree
2008-10-08
vdho
e
ven
Cosmetic change
s
commit
|
commitdiff
|
tree
2008-10-08
vdhoe
v
en
Co
s
metic chan
g
es
commit
|
commitdiff
|
tree
2008-10-08
vdhoeven
Cosmetic chan
g
es
commit
|
commitdiff
|
tree
2008-10-08
vdho
e
ven
Hide user icons
by defau
l
t
commit
|
commitdiff
|
tree
2008-10-08
v
d
h
oeven
Update
commit
|
commitdiff
|
tree
2008-10-08
vdhoe
v
en
Cosmetic c
h
a
n
g
e
s
commit
|
commitdiff
|
tree
2008-10-08
v
dh
o
even
Cosmetic
c
hange
s
commit
|
commitdiff
|
tree
2008-10-08
vdhoe
v
e
n
Even
n
ic
e
r l
a
yout
commit
|
commitdiff
|
tree
2008-10-08
v
d
hoeven
Comment
commit
|
commitdiff
|
tree
2008-10-08
vdhoeven
Vertical e
x
te
n
sion of w
h
ite page
commit
|
commitdiff
|
tree
2008-10-08
vdho
e
ven
Minor fixes
commit
|
commitdiff
|
tree
2008-10-08
vdhoev
e
n
Av
o
id name clash
commit
|
commitdiff
|
tree
2008-10-08
vdhoeven
Added postscript rendering vi
a
'convert
'
commit
|
commitdiff
|
tree
2008-10-08
vdhoeve
n
Update
commit
|
commitdiff
|
tree
2008-10-08
vdhoeven
Upd
a
te
commit
|
commitdiff
|
tree
2008-10-08
vdho
e
ven
Anti-aliasing
commit
|
commitdiff
|
tree
2008-10-08
vdh
o
e
v
en
Better
i
n
t
ernat
i
onalization
commit
|
commitdiff
|
tree
2008-10-08
v
dhoeven
Reorganize
commit
|
commitdiff
|
tree
next