ceriel
|
d7d501d43a
|
made to fit on a PDP-11 again
|
1988-02-10 14:06:34 +00:00 |
|
ceriel
|
fd817d4dbc
|
Minor adaptions in order to reduce the size
|
1987-09-23 16:39:43 +00:00 |
|
ceriel
|
86b6fe60ea
|
corrected option handling
|
1987-08-20 13:12:43 +00:00 |
|
ceriel
|
a7b7fa4162
|
Added the possibility to disable range-checks
|
1987-08-11 10:50:30 +00:00 |
|
ceriel
|
51169956dc
|
some more fixes, and tried to make smaller
|
1987-08-10 21:43:47 +00:00 |
|
ceriel
|
956fa21b89
|
fix: variable sets were handled wrong
|
1987-08-03 18:20:55 +00:00 |
|
ceriel
|
fbc0415761
|
make to work on sun, added copyright, etc
|
1987-04-29 10:22:07 +00:00 |
|
ceriel
|
a0c21bf820
|
many bug fixes, and added flexibility in alignments
|
1986-11-28 11:59:08 +00:00 |
|
ceriel
|
3030eb8cae
|
newer version
|
1986-10-06 20:36:30 +00:00 |
|
ceriel
|
c3d4d40d1b
|
many bug fixes
|
1986-09-25 19:39:06 +00:00 |
|
ceriel
|
965e75761d
|
newer version
|
1986-07-08 14:59:02 +00:00 |
|
ceriel
|
bcfca75b56
|
newer version
|
1986-06-26 09:39:36 +00:00 |
|
ceriel
|
9932033365
|
newer version
|
1986-06-20 14:36:49 +00:00 |
|
ceriel
|
a9dfdc494b
|
newer version
|
1986-06-17 12:04:05 +00:00 |
|
ceriel
|
9e0ab0029b
|
first, almost complete, version
|
1986-06-04 09:01:48 +00:00 |
|
ceriel
|
db795bc07a
|
newer version
|
1986-05-30 18:48:00 +00:00 |
|
ceriel
|
0bf57a9c64
|
newer version
|
1986-05-01 19:06:53 +00:00 |
|
ceriel
|
53e3cd60d0
|
newer version
|
1986-04-28 18:06:58 +00:00 |
|
ceriel
|
a254a8acb1
|
newer version
|
1986-04-23 22:12:22 +00:00 |
|
ceriel
|
fef8659bf1
|
newer version
|
1986-04-22 22:36:16 +00:00 |
|
ceriel
|
d3d6e637d6
|
newer version
|
1986-04-17 09:28:09 +00:00 |
|
ceriel
|
426c273de8
|
newer version
|
1986-04-15 17:51:53 +00:00 |
|
ceriel
|
d1a2112163
|
safety commit
|
1986-04-09 18:14:49 +00:00 |
|
ceriel
|
376c47c98f
|
newer version, partial parse trees
|
1986-04-06 17:42:56 +00:00 |
|
ceriel
|
7f174a46c3
|
A newer version, safety commit
|
1986-03-26 15:11:02 +00:00 |
|
ceriel
|
b683a21217
|
Initial version
|
1986-03-20 14:52:03 +00:00 |
|