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
19 Topics
116 Posts
by pom
Mon Feb 20, 2017 1:58 pm
General Discussions
Your new topic does not fit any of the above??? Check first. Then post here. Thanks.
Moderator: igrr
1545 Topics
7173 Posts
by Chris Carter
Sun Apr 23, 2017 4:29 am
Example Sketches
Example sketches for the new Arduino IDE for ESP8266
Moderator: igrr
357 Topics
2732 Posts
by JimDrew
Fri Apr 21, 2017 10:16 am
Downloading and installing
Downloading and installing the new Arduino IDE for ESP8266
Moderator: igrr
147 Topics
857 Posts
by AdaBill
Sun Apr 16, 2017 2:22 pm
News
Arduino News here
Moderator: igrr
11 Topics
75 Posts
by martinayotte
Tue Apr 04, 2017 2:06 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
118 Topics
559 Posts
by ThomasA
Mon Apr 17, 2017 8:19 am
Connecting existing modules
Chat here is you are connecting ESP-xx type modules to existing AVR based Arduino
Moderator: igrr
101 Topics
461 Posts
by Barnabybear
Mon Apr 17, 2017 12:51 pm
Bug Reports
Using the new Arduino IDE for ESP8266 and found bugs, report them here
Moderator: igrr
193 Topics
949 Posts
by anujmattoo
Mon Apr 03, 2017 2:54 pm
Video Tutorials
Various video and tutorials for the new Arduino IDE for ESP8266
Moderator: igrr
17 Topics
47 Posts
by ckremesh
Sun Feb 12, 2017 11:06 pm
Active topics
Title Statistics Last post
 API and Documentation
1, 2, 3, 4, 5 by Mikejstb - Mon Mar 30, 2015 2:48 pm
19 Replies
39498 Views
by urbanze
Sat Apr 01, 2017 9:10 pm
 WIFIO next steps? Lets get Community involvement going.....
1, 2, 3, 4, 5 by RichardS - Thu Aug 27, 2015 11:02 am
19 Replies
20807 Views
by maurizze
Wed Jun 29, 2016 1:21 am
 bitset() values?
1, 2 by Chris Carter - Tue Apr 18, 2017 10:39 pm
5 Replies
434 Views
by Chris Carter
Sun Apr 23, 2017 4:29 am
 ESP8266 compatible with latest Arduino IDE?
by JimDrew - Sat Apr 22, 2017 7:45 pm
0 Replies
90 Views
by JimDrew
Sat Apr 22, 2017 7:45 pm
 I Need Help w XPT2046 Touch on 2.4" TFT Display + ESP8266!
by TechShopJim - Fri Apr 21, 2017 12:29 am
1 Replies
271 Views
by NailBuster
Fri Apr 21, 2017 12:52 pm
 How do u make an I2C with ESP12e and Arduino pro Mini 3.3V?
by mojESP8266 - Wed Mar 29, 2017 11:31 am
2 Replies
606 Views
by JimDrew
Fri Apr 21, 2017 10:16 am
 PROGMEM causes section type conflict
by mwinther - Fri Apr 21, 2017 9:02 am
0 Replies
204 Views
by mwinther
Fri Apr 21, 2017 9:02 am
 command line interface command for nodemcu 1.0 in arduino
by truufseri - Wed Mar 02, 2016 9:05 pm
2 Replies
695 Views
by Superfra
Fri Apr 21, 2017 4:43 am
 OTA Ports
by W2K - Mon Mar 27, 2017 3:29 am
1 Replies
204 Views
by pelikano
Wed Apr 19, 2017 10:16 am
 Wemos D1 r2 locking every 15 hours
1, 2, 3, 4 by Marmachine - Wed Apr 12, 2017 4:32 am
13 Replies
1414 Views
by Marmachine
Wed Apr 19, 2017 9:31 am