Filenames styles - no need in 'predicata' prefix

FKlie / Predicata

GAP package Predicata: Deciding Presburger arithmetic using automata theory

http://www.algebra.uni-linz.ac.at/~kliemann/Predicata/

GNU General Public License v3.0

0 stars 1 forks source link

Filenames styles - no need in 'predicata' prefix #2

Open olexandr-konovalov opened 5 years ago

olexandr-konovalov commented 5 years ago

Looking at https://github.com/FKlie/Predicata/tree/master/lib, each filename has a prefix predicata-. This seems to be redundant, and does not match the style used by the GAP library and other packages. I would recommend to rename files, and this can be done easily in git using git mv command (of course, adjusting ReadPackage calls elsewhere).

FKlie commented 5 years ago

Done. Removed the prefix.

fingolfin commented 5 years ago

@FKlie then close this issue?