Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Deprecated: preg_replace(): The /e modifier is deprecated, use preg_replace_callback instead in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 125

Warning: Cannot modify header information - headers already sent by (output started at /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php:125) in /home/krisccbm/www.krischik.com/pmwiki/scripts/rss.php on line 114
Ada Programming | Site / All Recent Changes http://ada.krischik.com/index.php/Site/AllRecentChanges Site.All Recent Changes Tue, 18 Oct 2011 18:25:22 GMT pmwiki-2.2.60 Main / Side Bar http://ada.krischik.com/index.php/Main/SideBar Articles (edit) Compile gcc Compile GNAT/GPL Compile GNAT/Pro Compile XML/Ada Compile ASIS Compile GPS VIM (edit) AdaMode WikiConvert Plugins Trace Remover Restorer GNAT Programming System Edit ... Martin Krischik 2011-10-18T18:25Z Articles / How to compile XML/Ada http://ada.krischik.com/index.php/Articles/CompileXMLAda The following chapter describes how to compile XML/Ada (http://libre.act-europe.fr/xmlada). Get the lib If you have wget installed then you could try: mkdir /work/ada cd /work/ada wget ... Martin Krischik 2010-03-24T13:11Z Articles / Compile GNAT http://ada.krischik.com/index.php/Articles/CompileGNAT (:redirect Articles.CompileGNATGPL:) ... 2008-10-09T06:59Z Articles / Compile GPS http://ada.krischik.com/index.php/Articles/CompileGPS How to compile the newest gps The following description shows how to compile your very own GPS environment. It makes the following assumptions: You use a GNU/Linux environment with the following ... Martin Krischik 2008-02-03T16:38Z Articles / Compile ASIS http://ada.krischik.com/index.php/Articles/CompileASIS This pages is currently moving to http://gnat-asis.sourceforge.net/pmwiki.php/Main/HomePage. Until the move has ended you need to read both pages - sorry. How to compile ASIS The following chapter ... Simon Wright 2008-01-24T19:17Z VIM / Side Bar http://ada.krischik.com/index.php/VIM/SideBar VIM (edit) AdaMode WikiConvert Plugins Trace Remover Restorer GNAT Programming System Articles (edit) Compile gcc Compile GNAT/GPL Compile GNAT/Pro Compile XML/Ada Compile ASIS Compile GPS Edit ... Martin Krischik 2007-12-13T11:54Z Articles / Recent Changes http://ada.krischik.com/index.php/Articles/RecentChanges CompileXMLAda . . . March 24, 2010, at 02:11 PM by Martin Krischik: The SPAMers must search the whole Wiki just to find the smalest hole to squeze in. CompileGNAT . . . October 09, 2008, at 08:59 AM ... Martin Krischik 2010-03-24T13:11Z VIM / Ada Mode http://ada.krischik.com/index.php/VIM/AdaMode VIM comes with a nice Ada mode - however you can always improve. I have created an imporved Ada mode for vim and uploaded it to the vim side where download from. Here a short description of what I ... Martin Krischik 2007-10-17T16:48Z Main / Skin http://ada.krischik.com/index.php/Main/Skin BarthelmeSkin … A minimalist skin where white space and margins can show culture and aestheticismTestUse BluesSkin … This skin has the bluesTestUse Bs-001Skin ... Martin Krischik 2010-08-29T19:48Z Profiles / Martin Krischik http://ada.krischik.com/index.php/Profiles/MartinKrischik (title: Martin Krischik:) If you want to know something about me you can visit my homepage or have a look at my SourceForge User. ... Martin Krischik 2007-10-17T16:46Z Articles / How to compile the gcc 3.4 http://ada.krischik.com/index.php/Articles/CompileGcc The following description shows how to compile you very own GNAT environment. It make the following assumptions: You use a Linux environment with the following packages. * A gcc with an old Ada ... Martin Krischik 2007-10-17T16:46Z Main / All Recent Changes http://ada.krischik.com/index.php/Main/AllRecentChanges Main.Blocklist . . . March 19, 2006, at 11:32 AM by Martin Krischik Main.SideBar . . . March 19, 2006, at 11:25 AM by Martin Krischik Main.SearchWiki . . . March 19, 2006, at 11:24 AM by Martin ... Martin Krischik 2007-10-17T16:46Z VIM / Home Page http://ada.krischik.com/index.php/VIM/HomePage VIM and Ada Need to work on an operating system where GPS won't run? Well chances are that VIM will run there. The following pages describe how to use VIM with Ada on "exotic" operating systems. VIM ... Martin Krischik 2007-10-17T16:46Z VIM / Wiki Convert http://ada.krischik.com/index.php/VIM/WikiConvert HTML -> PmWiki Convert A Litte VIM script to help changing HTML Pages into PmWiki Files. [= :function! MK_Wiki_Html_To_PmWiki () :%substitute /\V”/”/ge :%substitute ... Martin Krischik 2007-10-17T16:45Z Main / Ada Wiki Ring http://ada.krischik.com/index.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 2007-10-17T16:45Z VIM / Plugins http://ada.krischik.com/index.php/VIM/Plugins Here the list op Plugins I use. Mostly for myself so I can quickly look for new versions. NERD Commenter Pretty helpfull for inserting comments into the code. The imporvements previously described ... Martin Krischik 2007-10-17T16:45Z Articles / Compile GNAT/Pro http://ada.krischik.com/index.php/Articles/CompileGNATPro This page describes how to compile GNAT/Pro. First you will need to download the all GNAT/Pro sources available. Use your GNAT Tracker account and download in one go. build-gnat-pro It is really all ... Martin Krischik 2007-10-17T16:44Z PmWikiDe / Glossar http://ada.krischik.com/index.php/PmWikiDe/Glossar MarkupBesondere Zeichenketten im Quelltext einer Wikiseite, die nicht wie normaler Text dargestellt werden, sondern von der Wikisoftware als Anweisungen interpretiert werden. Beispielsweise werden ... Bartolin 2004-12-26T00:03Z PmWikiPtBr / Envie Dinheiro Para PM http://ada.krischik.com/index.php/PmWikiPtBr/EnvieDinheiroParaPM PmWiki está disponível de graça sob os termos da Licensa Pública Geral(approve sites). Se você acha o PmWiki útil para você, sua empresa ou organização, ... 2006-03-12T06:37Z Main / RSS Feeds http://ada.krischik.com/index.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 ... Simon Wright 2007-10-13T06:34Z