Revision 0901c4f3fad7e0325028cd8c8a6f598c6a1b0a4f authored by Pierre-Yves Strub on 14 December 2015, 19:40:16 UTC, committed by Pierre-Yves Strub on 14 December 2015, 19:43:55 UTC
Select all occurences. Allow to not clear generalized variables, using: `move: {+}x` (~ to `move: (x)`).
1 parent f65f5f1
COPYRIGHT.yaml
entities:
IMDEA : "IMDEA Software Institute"
INRIA : "Inria"
copyrights:
- pattern: ["src/*.ml*", "src/*/*.ml*"]
style: "ocaml"
license: "CeCILL-C-V1"
copyrights:
- { who: "IMDEA", date: "2012--2015" }
- { who: "INRIA", date: "2012--2015" }
- pattern: ["theories/*.ec", "theories/*/*.ec*"]
style: "ocaml"
license: "CeCILL-B-V1"
copyrights:
- { who: "IMDEA", date: "2012--2015" }
- { who: "INRIA", date: "2012--2015" }
Computing file changes ...