GNAT ASIS | Main / Recent Changes http://gnat-asis.sourceforge.net/pmwiki.php/Main/RecentChanges Main.Recent Changes Fri, 12 Oct 2007 11:04:51 GMT pmwiki-2.2.0-beta63 Main / RSS Feeds http://gnat-asis.sourceforge.net/pmwiki.php/Main/RSSFeeds Interesting RSS Feeds You can of corse get an RSS Feed for any page by adding ?action=rss to then URL of the page. Main.RecentChanges - RSS Feed Site.AllRecentChanges - RSS Feed ... Martin Krischik 2007-10-12T11:04Z Main / Sitemap http://gnat-asis.sourceforge.net/pmwiki.php/Main/Sitemap Important Groups Main / AdaWikiRing AllRecentChanges ASIS ASIS2XML ASISTools BottomBar CurrentDiscussions GroupAttributes GroupFooter HomePage MenuBar PageNotFound RecentChanges RSSFeeds ... Martin Krischik 2007-10-11T19:05Z Main / Skin http://gnat-asis.sourceforge.net/pmwiki.php/Main/Skin Default SkinDrop Down MonobookBues BS-001Parchment Triad  ... Martin Krischik 2007-09-16T20:33Z Main / Welcome to Ada Semantic Interface Specification for GNAT http://gnat-asis.sourceforge.net/pmwiki.php/Main/HomePage This Project is dedicated to providing an up-to-date ASIS interface for the current GNAT. Also various tools based on ASIS are provided; these tools include the very useful gnatelim optimization tool ... Martin Krischik 2007-08-30T10:17Z Main / Wiki Sandbox http://gnat-asis.sourceforge.net/pmwiki.php/Main/WikiSandbox ... Martin Krischik 2007-03-13T07:00Z Main / TOC http://gnat-asis.sourceforge.net/pmwiki.php/Main/TOC Main Current Discussions News Project's Homepage Sourceforge Project Info Sourceforge SVN Archive Download ... Martin Krischik 2006-11-07T18:12Z Main / ASIS 2 XML http://gnat-asis.sourceforge.net/pmwiki.php/Main/ASIS2XML This program converts a unit's ASIS representation into XML, so as to make it easier to develop transformational tools using (for example) XSLT. It's in the gnat-asis archive at tools/asis2xml and ... simonjwright 2006-08-27T15:17Z Main / Side Bar http://gnat-asis.sourceforge.net/pmwiki.php/Main/SideBar Main Current Discussions News Project's Homepage Sourceforge Project Info Sourceforge SVN Archive Download Ada Wiki Ring RSS Feeds Sitemap Skin Edit Sidebar ... Martin Krischik 2006-06-26T11:22Z Main / Group Footer http://gnat-asis.sourceforge.net/pmwiki.php/Main/GroupFooter Ada programming, © 2005,2006 the Authors, Content is available under GNU Free Documentation License. ... Martin Krischik 2006-06-26T10:48Z Main / ASIS Tools http://gnat-asis.sourceforge.net/pmwiki.php/Main/ASISTools The ASIS-based tools available here are: ToolSource adabrowseThomas Wolf adactlAdalog adadepAdalog adasubstAdaLog asis2xmlhere ... simonjwright 2006-06-11T15:25Z Main / Current Discussions http://gnat-asis.sourceforge.net/pmwiki.php/Main/CurrentDiscussions GNAT/GPL ... Martin Krischik 2005-11-23T15:24Z Main / ASIS http://gnat-asis.sourceforge.net/pmwiki.php/Main/ASIS ... Martin Krischik 2005-09-17T15:09Z Main / Menu Bar http://gnat-asis.sourceforge.net/pmwiki.php/Main/MenuBar Main Home Page PmWiki Install Editing Index FAQ Editing Notes ... Martin Krischik 2005-07-30T07:37Z Main / Bottom Bar http://gnat-asis.sourceforge.net/pmwiki.php/Main/BottomBar Ada programming SearchWiki RecentChanges AllRecentChanges WikiHelp ... 2005-07-30T07:30Z Main / Ada Wiki Ring http://gnat-asis.sourceforge.net/pmwiki.php/Main/AdaWikiRing General Info Ada@Krischik Tutorials Programming:Ada Programación en Ada Programmation Ada Projects AdaCL [-([[http://adacl.sourceforge.net/index.html|old ... Martin Krischik 2005-07-17T17:28Z