diff --git a/src/gewf/license.lic b/src/gewf/license.lic new file mode 100644 index 00000000..27384d13 --- /dev/null +++ b/src/gewf/license.lic @@ -0,0 +1,10 @@ +${NOTE_KEYWORD} + copyright: "2011-${YEAR}, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others" + license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" + source: "[ + Eiffel Software + 5949 Hollister Ave., Goleta, CA 93117 USA + Telephone 805-685-1006, Fax 805-685-6869 + Website http://www.eiffel.com + Customer support http://support.eiffel.com + ]" diff --git a/src/gewf/src/gewf.e b/src/gewf/src/gewf.e index f0140dba..41f04891 100644 --- a/src/gewf/src/gewf.e +++ b/src/gewf/src/gewf.e @@ -156,4 +156,14 @@ feature {NONE} -- Implementation invariant -- invariant_clause: True +note + copyright: "2011-2013, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others" + license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" + source: "[ + Eiffel Software + 5949 Hollister Ave., Goleta, CA 93117 USA + Telephone 805-685-1006, Fax 805-685-6869 + Website http://www.eiffel.com + Customer support http://support.eiffel.com + ]" end diff --git a/src/gewf/src/gewf_generator.e b/src/gewf/src/gewf_generator.e index 91312a39..389c606e 100644 --- a/src/gewf/src/gewf_generator.e +++ b/src/gewf/src/gewf_generator.e @@ -119,4 +119,14 @@ feature -- Implementation end +note + copyright: "2011-2013, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others" + license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" + source: "[ + Eiffel Software + 5949 Hollister Ave., Goleta, CA 93117 USA + Telephone 805-685-1006, Fax 805-685-6869 + Website http://www.eiffel.com + Customer support http://support.eiffel.com + ]" end