Emmanuel Briot de179bcbdd Add support for command line in gnatbdd, in particular -P ... Add 'make install', and reorganize projects so that the generate project now depends on gnatbdd.gpr.		2014-06-05 16:33:45 +02:00
..
calculator.adb	Add support for command line in gnatbdd, in particular -P	2014-06-05 16:33:45 +02:00
calculator.ads	Add support for command line in gnatbdd, in particular -P	2014-06-05 16:33:45 +02:00