Move old Prosa to rt.classic, new Prosa from rt.restructuring to top level

As discussed at the RT-PROOFS meeting in Paris, we will make the newly restructured spec the new top-level spec, without discarding the old results.

changed milestone to %Prosa v0.4

In relation to #45 (closed), maybe we should switch the prefix for the restructured part to prosa as I guess this will be the namespace used from outside the library. @proux do you have experience with publishing coq packages?

I also prefer prosa to rt as it corresponds to the name of the library, which seems a common practice.

Ok, so at the top level we’ll have:

• prosa.classic
• prosa.behavior
• prosa.model
• prosa.analysis

Looks good to me.

mentioned in merge request !60 (merged)

mentioned in merge request !76 (merged)

closed