Eelco Dolstra 0dfdafdf6d * Allow linking against an external Berkeley DB / ATerm library.

2004-02-16 16:37:16 +00:00

..

help.txt

* In --upgrade': added flags --lt', --leq', --always' to specify

2004-02-09 11:59:39 +00:00

main.cc

* When creating a new generation, also make the normal form of the

2004-02-11 10:25:31 +00:00

Makefile.am

* Allow linking against an external Berkeley DB / ATerm library.

2004-02-16 16:37:16 +00:00

names.cc

* In --upgrade': added flags --lt', --leq', --always' to specify

2004-02-09 11:59:39 +00:00

names.hh

* In --upgrade': added flags --lt', --leq', --always' to specify

2004-02-09 11:59:39 +00:00

profiles.cc

* When creating a new generation, also make the normal form of the

2004-02-11 10:25:31 +00:00

profiles.hh

* When creating a new generation, also make the normal form of the

2004-02-11 10:25:31 +00:00