Skip to content
Snippets Groups Projects
Normal view Permalink
acsl.html 422 B
Newer Older
Allan Blanchard's avatar
Add redirections for old urls
Allan Blanchard committed
1 2 3 4 5 6 7 8 9 
<!DOCTYPE html>
<html>
   <head>
      <title>ACSL - Frama-C</title>
      <meta http-equiv = "refresh" content = "0; url=/html/acsl.html" />
      <link rel="canonical" href="https://www.frama-c.com/html/acsl.html" />
      <meta description = "Description of the ANSI C Specification Language." />
   </head>
   <body>
Allan Blanchard's avatar
More redirections + fix links name  
Allan Blanchard committed
10 
      <p>Redirect to <a href="https://www.frama-c.com/html/acsl.html">ACSL</a></p>
Allan Blanchard's avatar
Add redirections for old urls
Allan Blanchard committed
11 12 
   </body>
</html>