remove config files; superseded by metadata
--HG-- branch : remove-config
Showing
- thys/AODV/config 0 additions, 10 deletionsthys/AODV/config
- thys/AVL-Trees/config 0 additions, 11 deletionsthys/AVL-Trees/config
- thys/AWN/config 0 additions, 10 deletionsthys/AWN/config
- thys/Abortable_Linearizable_Modules/config 0 additions, 9 deletionsthys/Abortable_Linearizable_Modules/config
- thys/Abstract-Hoare-Logics/config 0 additions, 11 deletionsthys/Abstract-Hoare-Logics/config
- thys/Abstract-Rewriting/config 0 additions, 9 deletionsthys/Abstract-Rewriting/config
- thys/Abstract_Completeness/config 0 additions, 9 deletionsthys/Abstract_Completeness/config
- thys/Affine_Arithmetic/config 0 additions, 9 deletionsthys/Affine_Arithmetic/config
- thys/Akra_Bazzi/config 0 additions, 9 deletionsthys/Akra_Bazzi/config
- thys/Algebraic_Numbers/config 0 additions, 9 deletionsthys/Algebraic_Numbers/config
- thys/Amortized_Complexity/config 0 additions, 9 deletionsthys/Amortized_Complexity/config
- thys/Applicative_Lifting/config 0 additions, 11 deletionsthys/Applicative_Lifting/config
- thys/ArrowImpossibilityGS/config 0 additions, 11 deletionsthys/ArrowImpossibilityGS/config
- thys/AutoFocus-Stream/config 0 additions, 9 deletionsthys/AutoFocus-Stream/config
- thys/Automatic_Refinement/config 0 additions, 9 deletionsthys/Automatic_Refinement/config
- thys/BDD/config 0 additions, 11 deletionsthys/BDD/config
- thys/Bell_Numbers_Spivey/config 0 additions, 9 deletionsthys/Bell_Numbers_Spivey/config
- thys/BinarySearchTree/config 0 additions, 11 deletionsthys/BinarySearchTree/config
- thys/Binomial-Heaps/config 0 additions, 9 deletionsthys/Binomial-Heaps/config
- thys/Binomial-Queues/config 0 additions, 9 deletionsthys/Binomial-Queues/config
Loading
Please register or sign in to comment