dtrg
|
f371b251d2
|
Rationalised use of #includes to be more standards-compliant.
|
2006-07-22 00:46:16 +00:00 |
|
|
ceriel
|
5c83e7dbb5
|
Header --> Id
|
1994-06-24 11:31:16 +00:00 |
|
|
ceriel
|
e264b45120
|
Changed #include's
|
1991-03-05 12:16:17 +00:00 |
|
|
ceriel
|
7f8a099a15
|
Fixed problem with global names used for statics as well as externs
|
1990-10-08 11:44:15 +00:00 |
|
|
ceriel
|
83b92a8af2
|
fix: assertion was wrong
|
1988-09-02 13:52:11 +00:00 |
|
|
ceriel
|
3b0057625d
|
did not handle HOL names right (null names)
|
1987-07-29 10:43:43 +00:00 |
|
|
ceriel
|
7bb843eb0f
|
fixed a bug in a name-changing routine
|
1987-06-29 14:41:23 +00:00 |
|
|
ceriel
|
3e694c1b9d
|
made names of dynamically varying length
|
1987-03-25 16:24:41 +00:00 |
|
|
ceriel
|
6eaf182cee
|
Added Rcs Id
|
1987-03-10 11:49:39 +00:00 |
|
|
ceriel
|
815166e421
|
Added copyright notice
|
1987-03-09 19:15:41 +00:00 |
|
|
bal
|
e95492dfb0
|
bug fixed in routine get_ca_lines(): test on nil-pointer.
|
1985-01-23 16:10:43 +00:00 |
|
|
bal
|
edcb838b98
|
newnametable() move from alloc.c to this file,
get_ca_lines moved from get.c to this file,
em_pseu.h and em_mes.h included (needed by get_ca_lines).
|
1984-11-29 10:31:44 +00:00 |
|
|
bal
|
1833451151
|
Initial revision
|
1984-11-26 14:35:32 +00:00 |
|