repo.or.cz
/
chr.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
* Avoid handling as structured comment
2006-08-10
Jan Wielem
a
ker
* Avoid ha
n
dling a
s
structu
r
ed
co
m
ment
commit
|
commitdiff
|
tree
2006-04-19
Jan
Wielemaker
* make
C
HR load
its pr
i
vate
s
tuff silently
commit
|
commitdiff
|
tree
2006-02-09
Jan Wielemaker
* Fixed path
i
ssues
commit
|
commitdiff
|
tree
2005-12-22
Jan Wielem
a
ker
* Add missing file
commit
|
commitdiff
|
tree
2005-08-09
Jan Wielemaker
* Avo
u
d au
t
ol
o
ad
commit
|
commitdiff
|
tree
2005-08-09
Jan
Wielema
k
er
* Make
mes
s
age hook detect CHR global variables
commit
|
commitdiff
|
tree
2005-08-09
Jan Wi
e
lemak
e
r
*
F
ixed delete_eq/
3
issues
commit
|
commitdiff
|
tree
2005-07-26
Jan W
i
elem
a
ker
* Added missi
n
g CHR file
s
commit
|
commitdiff
|
tree
2005-05-11
Jan
W
i
e
lemake
r
* Bug#43:
$(DEST
D
IR) to re
m
o
ve
f
o
l
lo
w
ing
/
commit
|
commitdiff
|
tree
2005-04-16
Jan Wiel
e
maker
* Added
p
a
tch by Jon
Sney
e
rs
commit
|
commitdiff
|
tree
2005-02-19
Jan Wie
l
e
maker
* Cleanup an
d
remove ge
n
era
t
e
d f
i
les
commit
|
commitdiff
|
tree
2005-02-19
Jan
Wielemaker
* Generated file
commit
|
commitdiff
|
tree
2005-02-19
Jan Wiel
e
make
r
*
Cleanup and int
e
grat
i
o
n
commit
|
commitdiff
|
tree
2005-02-19
Jan W
i
elemaker
*
Generated f
i
les
commit
|
commitdiff
|
tree
2005-02-18
Jan Wie
l
emaker
* Deleted copy_term_
n
at/2 definition
commit
|
commitdiff
|
tree
2005-01-30
Jan
Wielemaker
* DESTDIR
commit
|
commitdiff
|
tree
2005-01-30
Jan Wielemaker
DESTDIR
commit
|
commitdiff
|
tree
2005-01-30
Jan Wi
e
lemaker
* Support make i
n
s
t
all DESTDIR=
commit
|
commitdiff
|
tree
2005-01-27
J
a
n Wielemak
e
r
* Fix running Pro
l
og in
s
i
d
e
the b
u
i
ld
e
nvironment
commit
|
commitdiff
|
tree
2004-11-16
Jan Wielemaker
*
Bug#202
commit
|
commitdiff
|
tree
2004-09-21
Ja
n
Wielemaker
* Added new files
commit
|
commitdiff
|
tree