CINXE.COM

<!doctype html> <html> <head> <meta charset="utf-8"/> <meta name="viewport" content="width=device-width, initial-scale=1"/> <title>Recent changes</title> <link media="all" rel="stylesheet" href="/theme/responsive-eiffel-org/css/all.css" /> <link rel="shortcut icon" href="https://www.eiffel.org/favicon.ico"/> <link href="https://fonts.googleapis.com/css?family=Inconsolata|Open+Sans:400,700|Titillium+Web" rel="stylesheet" type="text/css" />  <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script> <link rel="stylesheet" href="/module/auth/files/css/auth.css" type="text/css"/> <link rel="stylesheet" href="/module/node/files/css/node.css" type="text/css"/> <link rel="stylesheet" href="/module/blog/files/css/blog.css" type="text/css"/> <link rel="stylesheet" href="/module/comments/files/css/comments.css" type="text/css"/> <link rel="stylesheet" href="/module/wikitext/files/css/wikitext.css" type="text/css"/> <link rel="stylesheet" href="/module/taxonomy/files/css/taxonomy.css" type="text/css"/> <style> table.recent-changes th { padding: 3px; } table.recent-changes td { padding: 3px; border: dotted 1px #ddd; } table.recent-changes td.date { padding-left: 15px; } table.recent-changes td.title { font-weight: bold; } </style> <link rel="stylesheet" href="/module/feed_aggregator/files/css/feed_aggregator.css" type="text/css"/> <link rel="profile" href="http://gmpg.org/xfn/11" /> <meta property="url" content="https://www.eiffel.org/recent_changes/" /> <meta property="og:title" content="Recent changes" /> <meta property="og:type" content="website" /> <meta property="og:image" content="https://www.eiffel.org/favicon.ico" /> <link rel='canonical' href='https://www.eiffel.org/recent_changes/' /> <link rel='shortlink' href='https://www.eiffel.org/recent_changes/' /> <script type="text/javascript" src="/module/wdocs/files/js/wdocs.js"></script> <link rel="stylesheet" href="/module/wdocs/files/css/wdocs.css" type="text/css"/> </head> <body class="page"> <div id="page">  <header id="header" class="grid-3"> <div class="logo"><a href="https://www.eiffel.org/"><img src="/theme/responsive-eiffel-org/images/logo.png" width="226" height="60" alt="Eiffel"></a></div> <nav id="nav"> <ul> <li><a href="https://www.eiffel.org/welcome">welcome</a></li> <li><a href="https://www.eiffel.org/documentation">documentation</a></li> <li><a href="https://www.eiffel.org/resources">resources</a></li> <li><a href="https://www.eiffel.org/contribute">contribute</a></li> <li><a href="https://www.eiffel.org/blogs">blogs</a></li> <li><a href="https://www.eiffel.org/downloads">download</a></li> </ul> </nav> <nav class="add-links"> <ul> <li> <a href="/account/roc-login?destination=recent_changes%2F">Sign in</a> </li> <li class="search"> <div class="block" id="block-gcse_search_form"><div class="inside"><form class="search-form" method="GET" action="https://www.eiffel.org/gcse20"> <input type="image" alt="Search" class="btn" src="/theme/responsive-eiffel-org/images/ico-search.png"/> <input type="text" name="q" size="25" maxlength="255" value="" /> </form> </div></div> </li> </ul> </nav> </header>  <main id="main"> <a id="main-content"></a> <section id="content" class="" itemtype="http://schema.org/Article" itemscope=""> <div class="container grid has-gutter"> <div class="content"> <h1 id="page-title" class="title">Recent changes</h1> <form action="/recent_changes/" method="GET" id="recent-changes" class=""> <div><strong><label for="source">Sources</label></strong><br/> <select name="source" id="source-select"/><option value="" >Any source</option> <option value="page" >page</option> <option value="blog" >blog</option> <option value="doc" >doc</option> </select> </div><div><strong><label for="author">By author</label></strong><br/> <input type="text" name="author"/></div><div><strong><label for="size">Items per page</label></strong><br/> <input type="number" name="size" value="25" size="25" /></div><div><input type="submit" name="op" value="Filter" /></div><br/></form> <table class="recent-changes"><thead><tr><th>Date</th><th>Source</th><th>Resource</th><th>User</th><th>Information</th></tr></thead><tbody><tr><td class="title" colspan="5">WED, 19 FEB 2025</td></tr><tr><td class="date">Wed, 19 Feb 2025 07:03:20 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/497">EiffelStudio 25.02 is available!</a></td><td class="user"><a href="/user/1">Administrator</a></td><td class="info">updated</td></tr> <tr><td class="title" colspan="5">TUE, 11 FEB 2025</td></tr><tr><td class="date">Tue, 11 Feb 2025 16:02:40 GMT</td><td class="source">doc</td><td class="resource"><a href="/doc/eiffelstudio/Release_notes_for_EiffelStudio_25.02">25.02</a></td><td class="user"><a href="/user/2">Jocelyn-Fiat</a></td><td class="info">M<span class="tooltip"> -- Updated wikipage Release notes for EiffelStudio 25.02. (Signed-off-by:jocelyn).A -- Updated wikipage Release notes for EiffelStudio 25.02. (Signed-off-by:jocelyn).</span></td></tr> <tr><td class="title" colspan="5">THU, 6 FEB 2025</td></tr><tr><td class="date">Thu, 06 Feb 2025 19:02:22 GMT</td><td class="source">doc</td><td class="resource"><a href="/doc/eiffelstudio/Release_notes_for_EiffelStudio_24.05">24.05</a></td><td class="user">eifops</td><td class="info">A<span class="tooltip"> -- Created Documentation branch for 25.02</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffelstudio/Release_notes_for_EiffelStudio_23.09">23.09</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffel/ET-_The_Dynamic_Structure-_Execution_Model">ET: The Dynamic Structure: Execution Model</a></td><td class="user">eifops</td><td class="info">R<span class="tooltip"> -- Created Documentation branch for 25.02</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffelstudio/EiffelStudio-_All_shortcuts">EiffelStudio: All shortcuts</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffel/Eiffel_Code_Comments">Eiffel Code Comments</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffel/Two-Minute_fact_sheet">Two-Minute fact sheet</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffelstudio/Mac_OS_X">Mac OS X</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffelstudio/Linux">Linux</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/solutions/Converting_EiffelVision_2_Systems_to_Void-Safety">Converting EiffelVision 2 Systems to Void-Safety</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/solutions/EiffelWeb_framework">EiffelWeb</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/solutions/Selector_Sample">Selector Sample</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/solutions/Inserter_Sample">Inserter Sample</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/solutions/EiffelBase%2C_Tables">EiffelBase, Tables</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/solutions/Esql_Sample">Esql Sample</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffel/Quick_reference_to_the_Eiffel_programming_language">Quick Reference</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date">Thu, 06 Feb 2025 17:02:32 GMT</td><td class="source">doc</td><td class="resource"><a href="/doc/eiffelstudio/Release_notes_for_EiffelStudio_24.05">24.05</a></td><td class="user">eifops</td><td class="info">A<span class="tooltip"> -- Updated trunk</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/solutions/EiffelWeb_framework">EiffelWeb</a></td><td class="user">eifops</td><td class="info">M<span class="tooltip"> -- Updated trunk</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffelstudio/Release_notes_for_EiffelStudio_23.09">23.09</a></td><td class="user">eifops</td><td class="info">A<span class="tooltip"> -- Updated trunk</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffel/ET-_The_Dynamic_Structure-_Execution_Model">ET: The Dynamic Structure: Execution Model</a></td><td class="user">eifops</td><td class="info">M<span class="tooltip"> -- Updated trunk</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffel/Two-Minute_fact_sheet">Two-Minute fact sheet</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffel/Eiffel_Code_Comments">Eiffel Code Comments</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffel/Quick_reference_to_the_Eiffel_programming_language">Quick Reference</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffelstudio/EiffelStudio-_All_shortcuts">EiffelStudio: All shortcuts</a></td><td class="user">eifops</td><td class="info">R<span class="tooltip"> -- Updated trunk</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/solutions/Inserter_Sample">Inserter Sample</a></td><td class="user">eifops</td><td class="info">M<span class="tooltip"> -- Updated trunk</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffelstudio/Linux">Linux</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/solutions/Converting_EiffelVision_2_Systems_to_Void-Safety">Converting EiffelVision 2 Systems to Void-Safety</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/solutions/Selector_Sample">Selector Sample</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/eiffelstudio/Mac_OS_X">Mac OS X</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/solutions/Esql_Sample">Esql Sample</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="date"><span class="same-value">''</span></td><td class="source">doc</td><td class="resource"><a href="/doc/solutions/EiffelBase%2C_Tables">EiffelBase, Tables</a></td><td class="user">eifops</td><td class="info"><span class="same-value">''</span></td></tr> <tr><td class="title" colspan="5">THU, 17 OCT 2024</td></tr><tr><td class="date">Thu, 17 Oct 2024 12:39:24 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/495">Python and Eiffel: A Comparison in Conciseness</a></td><td class="user"><a href="/user/48">Finnian Reilly</a></td><td class="info">updated</td></tr> <tr><td class="title" colspan="5">WED, 16 OCT 2024</td></tr><tr><td class="date">Wed, 16 Oct 2024 13:27:02 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/496">Automated Object Data Compaction Revisited</a></td><td class="user"><a href="/user/48">Finnian Reilly</a></td><td class="info">new</td></tr> <tr><td class="date">Wed, 16 Oct 2024 11:01:02 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/487">Automating Object Data Compaction to Expanded Numeric Types</a></td><td class="user"><a href="/user/48">Finnian Reilly</a></td><td class="info">updated</td></tr> <tr><td class="title" colspan="5">FRI, 28 JUN 2024</td></tr><tr><td class="date">Fri, 28 Jun 2024 14:41:00 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/494">First ever Udemy Eiffel course has gone live</a></td><td class="user"><a href="/user/156">William Steinberg</a></td><td class="info">updated</td></tr> <tr><td class="date">Fri, 28 Jun 2024 12:26:35 GMT</td><td class="source">page</td><td class="resource"><a href="/node/81">Resources</a></td><td class="user"><a href="/user/1">Administrator</a></td><td class="info">updated</td></tr> <tr><td class="date">Fri, 28 Jun 2024 12:22:42 GMT</td><td class="source">page</td><td class="resource"><a href="/node/493">Learning</a></td><td class="user"><a href="/user/1">Administrator</a></td><td class="info">updated</td></tr> <tr><td class="title" colspan="5">THU, 27 JUN 2024</td></tr><tr><td class="date">Thu, 27 Jun 2024 11:05:02 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/102">Using externals in multithreaded applications</a></td><td class="user"><a href="/user/1">Administrator</a></td><td class="info">updated</td></tr> <tr><td class="date">Thu, 27 Jun 2024 11:04:23 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/334">Single file compilation</a></td><td class="user"><a href="/user/1">Administrator</a></td><td class="info">updated</td></tr> <tr><td class="date">Thu, 27 Jun 2024 10:59:09 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/93">How to compile examples using Gobo</a></td><td class="user"><a href="/user/1">Administrator</a></td><td class="info">updated</td></tr> <tr><td class="date">Thu, 27 Jun 2024 10:52:28 GMT</td><td class="source">page</td><td class="resource"><a href="/node/56">UUID Library</a></td><td class="user"><a href="/user/1">Administrator</a></td><td class="info">updated</td></tr> <tr><td class="date">Thu, 27 Jun 2024 10:39:07 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/227">Hello World</a></td><td class="user"><a href="/user/1">Administrator</a></td><td class="info">updated</td></tr> <tr><td class="date">Thu, 27 Jun 2024 10:38:26 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/183">How to compile examples using EiffelStudio</a></td><td class="user"><a href="/user/1">Administrator</a></td><td class="info">updated</td></tr> <tr><td class="title" colspan="5">FRI, 14 JUN 2024</td></tr><tr><td class="date">Fri, 14 Jun 2024 15:15:32 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/492">EiffelStudio 24.05 is available!</a></td><td class="user"><a href="/user/1">Administrator</a></td><td class="info">updated</td></tr> <tr><td class="title" colspan="5">FRI, 31 MAY 2024</td></tr><tr><td class="date">Fri, 31 May 2024 12:58:06 GMT</td><td class="source">page</td><td class="resource"><a href="/node/490">Compile EiffelStudio from source code</a></td><td class="user"><a href="/user/1">Administrator</a></td><td class="info">updated</td></tr> <tr><td class="title" colspan="5">TUE, 26 MAR 2024</td></tr><tr><td class="date">Tue, 26 Mar 2024 10:42:03 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/467">Symbolic forms of loops</a></td><td class="user"><a href="/user/2">Jocelyn-Fiat</a></td><td class="info">updated</td></tr> <tr><td class="date">Tue, 26 Mar 2024 10:25:20 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/470">Unicode aliases</a></td><td class="user"><a href="/user/2">Jocelyn-Fiat</a></td><td class="info">updated</td></tr> <tr><td class="title" colspan="5">WED, 20 MAR 2024</td></tr><tr><td class="date">Wed, 20 Mar 2024 17:15:06 GMT</td><td class="source">page</td><td class="resource"><a href="/node/443">The EiffelWeb Framework</a></td><td class="user"><a href="/user/2">Jocelyn-Fiat</a></td><td class="info">updated</td></tr> <tr><td class="date">Wed, 20 Mar 2024 15:28:36 GMT</td><td class="source">page</td><td class="resource"><a href="/node/4">Eiffel Libraries</a></td><td class="user"><a href="/user/2">Jocelyn-Fiat</a></td><td class="info">updated</td></tr> <tr><td class="title" colspan="5">SAT, 16 MAR 2024</td></tr><tr><td class="date">Sat, 16 Mar 2024 15:08:15 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/491">The SPOT Architecture Applied to Class ARRAYED_LIST</a></td><td class="user"><a href="/user/48">Finnian Reilly</a></td><td class="info">updated</td></tr> <tr><td class="title" colspan="5">MON, 18 DEC 2023</td></tr><tr><td class="date">Mon, 18 Dec 2023 15:18:53 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/489">Seven Is A Magic Number: Why 7 Letter Codes Make Sense</a></td><td class="user"><a href="/user/48">Finnian Reilly</a></td><td class="info">updated</td></tr> <tr><td class="title" colspan="5">FRI, 8 DEC 2023</td></tr><tr><td class="date">Fri, 08 Dec 2023 12:06:39 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/488">COBOL inspired numeric formatting for Eiffel</a></td><td class="user"><a href="/user/48">Finnian Reilly</a></td><td class="info">updated</td></tr> <tr><td class="title" colspan="5">FRI, 6 OCT 2023</td></tr><tr><td class="date">Fri, 06 Oct 2023 07:32:59 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/486">EiffelStudio 23.09 is available!</a></td><td class="user"><a href="/user/2">Jocelyn-Fiat</a></td><td class="info">updated</td></tr> <tr><td class="title" colspan="5">SUN, 17 SEP 2023</td></tr><tr><td class="date">Sun, 17 Sep 2023 11:43:38 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/485">A Tool to Obtain Eiffel Code Metrics Across Many Libraries</a></td><td class="user"><a href="/user/48">Finnian Reilly</a></td><td class="info">updated</td></tr> <tr><td class="title" colspan="5">WED, 30 AUG 2023</td></tr><tr><td class="date">Wed, 30 Aug 2023 08:16:52 GMT</td><td class="source">blog</td><td class="resource"><a href="/node/484">The Surprising Cost of Type Checking in Eiffel</a></td><td class="user"><a href="/user/2">Jocelyn-Fiat</a></td><td class="info">updated</td></tr> </tbody></table> <a href="/recent_changes/?size=25&date=1738861352">See more ...</a> </div> </div> </section> </main>  <footer id="footer"> <div class="container"> <nav class="footer-nav"> <ul class="grid-5 has-gutter"> <li class="one-sixth"><a href="https://www.eiffel.org/welcome">Welcome</a> <ul> <li><a href="https://www.eiffel.org/purpose">Purpose</a></li> <li><a href="https://www.eiffel.org/news">News</a></li> <li><a href="https://www.eiffel.org/updates">Updates</a></li> <li><a href="https://www.eiffel.org/forum">Forum</a></li> <li><a href="https://www.eiffel.org/community">Community</a></li> <li><a href="https://www.eiffel.org/contact">Contact</a></li> <li> <a href="/account/roc-login?destination=recent_changes%2F">Sign in</a> </li> </ul> </li> <li class="one-sixth"><a href="https://www.eiffel.org/documentation">Documentation</a> <ul> <li><a href="https://www.eiffel.org/doc/eiffel">Eiffel</a></li> <li><a href="https://www.eiffel.org/doc/eiffelstudio">EiffelStudio</a></li> <li><a href="https://www.eiffel.org/doc/solutions">Solutions</a></li> <li><a href="https://www.eiffel.org/doc/glossary">Glossary</a></li> <li><a href="https://www.eiffel.org/doc/faqs">FAQs</a></li> <li><a href="https://www.eiffel.org/contribute">Contribute</a></li> </ul> </li> <li class="one-sixth"><a href="https://www.eiffel.org/resources">Resources</a> <ul> <li><a href="https://www.eiffel.org/resources/libraries">Libraries</a></li> <li><a href="https://www.eiffel.org/resources/tools">Tools</a></li> <li><a href="https://www.eiffel.org/resources/wish_list">Wish list</a></li> <li><a href="https://www.eiffel.org/resources/videos">Videos</a></li> <li><a href="https://www.eiffel.org/resources/follow_us">Follow us</a></li> </ul> </li> <li class=""> <div class="btn-holder"> <a class="btn btn-download" href="https://www.eiffel.org/downloads">Download Now</a> <a class="btn btn-tryonline" href="https://www.eiffel.org/try_eiffel">Try Eiffel Online</a> <a class="btn btn-contribute" href="https://www.eiffel.org/contribute">Contribute</a> <a class="btn btn-account" href="/account/roc-login?destination=recent_changes%2F">Sign in</a> </div> </li> <li class="one-sixth"> <ul class="social-networks"> <li><a class="facebook" target="_blank" href="https://www.facebook.com/pages/Eiffel-Programming-Language/235981463124887">Facebook</a></li> <li><a class="youtube" target="_blank" href="http://www.youtube.com/user/EiffelLanguage">You Tube</a></li> <li><a class="twitter" target="_blank" href="https://twitter.com/Eiffel_Language">Twitter</a></li> </ul> </li> </ul> </nav>  <div style="float: right">Built with the Eiffel ROC CMS and the <a href="http://www.eiffelweb.org">EiffelWeb framework</a>.</div> </div> </footer> <script src="/theme/responsive-eiffel-org/js/wdownloads.js"></script> <script src="/theme/responsive-eiffel-org/js/home.js"></script> <link href="/theme/responsive-eiffel-org/js/google-code-prettify-eiffel/styles/lang-eiffel.css" type="text/css" rel="stylesheet" /> <script src="https://cdn.jsdelivr.net/gh/google/code-prettify@master/loader/run_prettify.js"></script> <script src="/theme/responsive-eiffel-org/js/google-code-prettify-eiffel/src/lang-eiffel.js"></script> <script src="https://www.google.com/recaptcha/api.js" async defer></script> </div> </body> </html>