/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 57781 by patrickr, Mon Mar 27 17:11:27 2006 UTC revision 58027 by manus, Wed Apr 5 07:08:57 2006 UTC
# Line 640  invariant Line 640  invariant
640    
641  indexing  indexing
642          copyright:      "Copyright (c) 1984-2006, Eiffel Software"          copyright:      "Copyright (c) 1984-2006, Eiffel Software"
643          license:        "GPL version 2 see http://www.eiffel.com/licensing/gpl.txt)"          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
644          licensing_options:      "http://www.eiffel.com/licensing"          licensing_options:      "http://www.eiffel.com/licensing"
645          copying: "[          copying: "[
646                          This file is part of Eiffel Software's Eiffel Development Environment.                          This file is part of Eiffel Software's Eiffel Development Environment.
647                            
648                          Eiffel Software's Eiffel Development Environment is free                          Eiffel Software's Eiffel Development Environment is free
649                          software; you can redistribute it and/or modify it under                          software; you can redistribute it and/or modify it under
650                          the terms of the GNU General Public License as published                          the terms of the GNU General Public License as published
651                          by the Free Software Foundation, version 2 of the License                          by the Free Software Foundation, version 2 of the License
652                          (available at the URL listed under "license" above).                          (available at the URL listed under "license" above).
653                            
654                          Eiffel Software's Eiffel Development Environment is                          Eiffel Software's Eiffel Development Environment is
655                          distributed in the hope that it will be useful, but                          distributed in the hope that it will be useful, but
656                          WITHOUT ANY WARRANTY; without even the implied warranty                          WITHOUT ANY WARRANTY; without even the implied warranty
657                          of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.                          of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
658                          See the GNU General Public License for more details.                          See the GNU General Public License for more details.
659                            
660                          You should have received a copy of the GNU General Public                          You should have received a copy of the GNU General Public
661                          License along with Eiffel Software's Eiffel Development                          License along with Eiffel Software's Eiffel Development
662                          Environment; if not, write to the Free Software Foundation,                          Environment; if not, write to the Free Software Foundation,

Legend:
Removed from v.57781  
changed lines
  Added in v.58027

  ViewVC Help
Powered by ViewVC 1.1.23