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 ChangesTue, 18 Oct 2011 18:25:22 GMTpmwiki-2.2.60Main / 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 Krischik2011-10-18T18:25ZArticles / 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 Krischik2010-03-24T13:11ZArticles / Compile GNAT
http://ada.krischik.com/index.php/Articles/CompileGNAT
(:redirect Articles.CompileGNATGPL:)
...2008-10-09T06:59ZArticles / 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 Krischik2008-02-03T16:38ZArticles / 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 Wright2008-01-24T19:17ZVIM / 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 Krischik2007-12-13T11:54ZArticles / 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 Krischik2010-03-24T13:11ZVIM / 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 Krischik2007-10-17T16:48ZMain / 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 Krischik2010-08-29T19:48ZProfiles / 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 Krischik2007-10-17T16:46ZArticles / 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 Krischik2007-10-17T16:46ZMain / 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 Krischik2007-10-17T16:46ZVIM / 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 Krischik2007-10-17T16:46ZVIM / 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 Krischik2007-10-17T16:45ZMain / 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 Krischik2007-10-17T16:45ZVIM / 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 Krischik2007-10-17T16:45ZArticles / 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 Krischik2007-10-17T16:44ZPmWikiDe / 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 ...Bartolin2004-12-26T00:03ZPmWikiPtBr / 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:37ZMain / 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 Wright2007-10-13T06:34Z