eiffel-org 408e31e321 Added a new page for VD81. ...

Updated wikipage VD81.
	(Signed-off-by:alexk).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2148 abb3cda0-5349-4a8f-a601-0c33ac3a8c38

2019-04-24 12:32:11 +00:00

..

autotest

Update wikipage The Eiffel Test Wizard. (Signed-off-by:jocelyn).

2016-03-31 21:14:07 +00:00

browsing-tools

Renamed current as trunk.

2015-09-23 17:16:49 +00:00

compiler

Added a new page for VD81.

2019-04-24 12:32:11 +00:00

debugger

Merged 18.01 changes into trunk.

2018-05-28 16:59:46 +00:00

diagram-tool

removed slash in various wiki page title, due to trouble with fcgi and url encoding

2016-04-01 10:38:21 +00:00

eiffel-information-system

Update wikipage Variable Definition. (Signed-off-by:alexk).

2016-09-21 06:18:44 +00:00

eiffel-inspector

merged from 18.01

2018-07-11 08:58:35 +00:00

eiffelstudio-editor

Update wikipage Code Templates. (Signed-off-by:javier).

2017-02-03 18:07:44 +00:00

eiffelstudio-general-interface-description

Update wikipage EiffelStudio window overview. (Signed-off-by:jocelyn).

2016-04-06 08:01:47 +00:00

eiffelstudio-preferences

Replace occurrences of ..' by ..` (backtick+text+quote replaced by backtick+text+backtick).

2016-07-01 10:32:39 +00:00

eiffelstudio-project-settings-window

merged 18.07 into trunk

2018-12-03 10:15:23 +00:00

eiffelstudio-release-notes

Added missing items.

2018-12-07 13:53:21 +00:00

formatted-information-about-compiled-classes-and-features

Renamed current as trunk.

2015-09-23 17:16:49 +00:00

metrics-tool

Renamed current as trunk.

2015-09-23 17:16:49 +00:00

outputs-tool

Renamed current as trunk.

2015-09-23 17:16:49 +00:00

wizards-and-dialogs

merge changes from branch 17.05 onto trunk

2018-02-06 13:41:39 +00:00

console-tool.wiki

Renamed current as trunk.

2015-09-23 17:16:49 +00:00

contract-editor-tool.wiki

Replace occurrences of ..' by ..` (backtick+text+quote replaced by backtick+text+backtick).

2016-07-01 10:32:39 +00:00

error-list-tool.wiki

Renamed current as trunk.

2015-09-23 17:16:49 +00:00

index.wiki

merged from 18.01

2018-07-04 08:50:09 +00:00