Yes that is correct, we have released an Arduino IDE for the ESP8266!!!
Thanks to IGRR and http://www.themindfactory.com for the effort!

Moderator: igrr

Forum
Title Statistics Last post
WIFIO Dual Arduino WIFI module
WIFIO is a dual Arduino WIFI module (ESP8266+ATMEGA328P) FCC approve-able with transferable licence. Can use the 328P for I/O expansion also...
Moderator: igrr
16 Topics
103 Posts
by stealthtransam
Mon Jun 20, 2016 10:30 am
General Discussions
Your new topic does not fit any of the above??? Check first. Then post here. Thanks.
Moderator: igrr
997 Topics
4869 Posts
by martinayotte
Tue Jun 28, 2016 1:41 pm
Example Sketches
Example sketches for the new Arduino IDE for ESP8266
Moderator: igrr
275 Topics
2276 Posts
by NailBuster
Tue Jun 28, 2016 8:51 am
Downloading and installing
Downloading and installing the new Arduino IDE for ESP8266
Moderator: igrr
110 Topics
698 Posts
by schufti
Tue Jun 28, 2016 2:32 pm
News
Arduino News here
Moderator: igrr
7 Topics
44 Posts
by RichardS
Mon Apr 18, 2016 3:27 pm
Github code chat for ESP8266 Arduino IDE
Chat here about code rewrites, mods, etc... with respect to the github project https://github.com/esp8266/Arduino
Moderator: igrr
90 Topics
439 Posts
by Ariel
Mon Jun 06, 2016 6:05 pm
Connecting existing modules
Chat here is you are connecting ESP-xx type modules to existing AVR based Arduino
Moderator: igrr
70 Topics
327 Posts
by shafiqah
Mon Jun 27, 2016 3:34 am
Bug Reports
Using the new Arduino IDE for ESP8266 and found bugs, report them here
Moderator: igrr
152 Topics
700 Posts
by biol75
Thu Jun 23, 2016 5:00 am
Video Tutorials
Various video and tutorials for the new Arduino IDE for ESP8266
Moderator: igrr
15 Topics
43 Posts
by Mohammed Ubaid
Tue Jun 07, 2016 12:06 am
Active topics
Title Statistics Last post
 WIFIO next steps? Lets get Community involvement going.....
1, 2, 3, 4, 5 by RichardS - Thu Aug 27, 2015 11:02 am
18 Replies
12256 Views
by stealthtransam
Mon Jun 20, 2016 10:30 am
 API and Documentation
1, 2, 3, 4, 5 by Mikejstb - Mon Mar 30, 2015 2:48 pm
18 Replies
24479 Views
by JimDrew
Thu Jun 16, 2016 8:12 pm
 swaping SDK bits in Arduino IDE
by schufti - Tue Jun 28, 2016 2:32 pm
0 Replies
10 Views
by schufti
Tue Jun 28, 2016 2:32 pm
 extra mDNS services in combination with ArduinoOTA?
1, 2 by Stu - Sun Jun 26, 2016 2:22 pm
7 Replies
266 Views
by martinayotte
Tue Jun 28, 2016 1:41 pm
 Issues with files/pictures using SPIFFS-ERR_CONNECTION_RESET
by Th3On3Fr33man - Tue Jun 28, 2016 11:52 am
0 Replies
18 Views
by Th3On3Fr33man
Tue Jun 28, 2016 11:52 am
 myWebServer for esp8266
1, 2, 3, 4, 5 by NailBuster - Fri Feb 05, 2016 12:01 pm
18 Replies
4391 Views
by NailBuster
Tue Jun 28, 2016 8:51 am
 Client.print() error after 2 minutes connected to server
by Twoaster - Tue Jun 28, 2016 6:50 am
0 Replies
13 Views
by Twoaster
Tue Jun 28, 2016 6:50 am
 Couldnt program ESP8266 using Arduino IDE
by Ediolot - Tue Jun 28, 2016 6:32 am
0 Replies
19 Views
by Ediolot
Tue Jun 28, 2016 6:32 am
 Storing and reading ssid/pass from eeprom, AP to config
1 ... 15, 16, 17 by chriscook8 - Wed Apr 15, 2015 12:50 pm
65 Replies
29277 Views
by acpilot
Tue Jun 28, 2016 1:26 am
 Communicating two ESP8266 in Arduino IDE
by Layup - Mon Jun 27, 2016 2:59 pm
0 Replies
57 Views
by Layup
Mon Jun 27, 2016 2:59 pm