X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FLICENSE;h=9e2c40cfed8b2d4727cff5f46307e0bb995ea061;hb=a3f4c0a8b4328cb9a9fe3b4c2e577be2a258675c;hp=0b656db6d192a16ec5dfdaac1d548a1382edc461;hpb=7be6993731eb450628b148ee7328da9c0b638d6c;p=helm.git diff --git a/matita/LICENSE b/matita/LICENSE index 0b656db6d..9e2c40cfe 100644 --- a/matita/LICENSE +++ b/matita/LICENSE @@ -16,8 +16,9 @@ GNU General Public License for more details. You should have received a copy of the GNU General Public License along with HELM; if not, write to the Free Software -Foundation, Inc., 59 Temple Place - Suite 330, Boston, -MA 02111-1307, USA. +Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA +02110-1301 USA For details, see the HELM World-Wide-Web page, http://helm.cs.unibo.it/ +