Emmanuel Briot 07ee6a1008 Solve elaboration circularity from previous change. ...

Remove almost all public API from gps-kernel-console.ads. This package
 is now only used to create and manage the Messages window, but all
 packages that need to insert messages in the console need to go through
 the new services in GPS.Kernel (with same name as before).
(Create_Interactive_Console): moved to the new package GPS.Kernel.Interactive

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/branches/global/gtk3/gps@199369 936e1b1b-40f2-da11-902a-00137254ae57

2012-12-07 16:14:17 +00:00

..

obj

Fix permissions

2009-11-23 20:11:05 +00:00

src

Solve elaboration circularity from previous change.

2012-12-07 16:14:17 +00:00

.cvsignore

Fix permissions

2009-11-23 20:11:05 +00:00

python.gpr

Set all Object_Dir and Library_Dir attributes in projects from the value in

2010-06-08 10:45:36 +00:00