JEdit

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(项目)
 
第12行: 第12行:
  
 
==项目==
 
==项目==
*[https://www.cl.cam.ac.uk/research/hvg/Isabelle/ Isabelle]
+
*[[Isabelle]]
  
 
==截图==
 
==截图==

2021年12月30日 (四) 10:07的最后版本

Wikipedia-35x35.png 您可以在Wikipedia上了解到此条目的英文信息 JEdit Thanks, Wikipedia.

jEdit

目录

[编辑] 简介

jEdit 是一个用 Java 开发的文本编辑器。

[编辑] 功能

jEdit 也有很方便的宏定义功能,可以用 BeanShellJythonJavaScript 等脚本语言。

[编辑] 指南

[编辑] 项目

[编辑] 截图

[编辑] 链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱