comparison LICENSE @ 852:4d4c62d95b9c

New release
author Adam Chlipala <adamc@hcoop.net>
date Tue, 23 Jun 2009 12:53:47 -0400
parents 0eb7bb4872d0
children 43677a8a20e9
comparison
equal deleted inserted replaced
851:20a364c4a6dc 852:4d4c62d95b9c
1 Copyright (c) 2008, Adam Chlipala 1 Copyright (c) 2008-2009, Adam Chlipala
2 All rights reserved. 2 All rights reserved.
3 3
4 Redistribution and use in source and binary forms, with or without 4 Redistribution and use in source and binary forms, with or without
5 modification, are permitted provided that the following conditions are met: 5 modification, are permitted provided that the following conditions are met:
6 6