 xjmao
|
1251b164ba
|
update chapter 2-10 and figure
|
2019-10-13 12:28:47 +08:00 |
 HaoDan
|
dcba179a75
|
Merge branch 'master' into 'master'
ch1-3和ch2-5的修改
ch1-3和ch2-5的修改
See merge request !2
|
2019-10-11 08:18:45 +08:00 |
|
HaoDan
|
9238dd9c3a
|
Merge branch 'master' into 'master'
第一篇程序设计语言与理论、第二篇软件理论修改
第一篇加入实例，图更新
第二篇增加了图，并对参考文献进行了梳理
See merge request !3
|
2019-10-11 08:18:21 +08:00 |
|
HaoDan
|
d88c18e888
|
Merge branch 'master' into 'master'
Ch2-3-SoftwareLanguage的修改
See merge request !1
|
2019-10-10 13:03:03 +08:00 |
Rongjie Yan
|
a823b7b37a
|
example for axiomatic semantics
|
2019-10-09 18:03:03 +08:00 |
|
Rongjie Yan
|
d8782707ac
|
first modification
|
2019-10-09 17:00:20 +08:00 |
 Xin Peng
|
d8bb8c00fe
|
revise Ch1-4 software engineering based on feedback
|
2019-10-09 15:00:41 +08:00 |
|
Xin Peng
|
47d1a19191
|
update Ch1-1 and Ch2-6
|
2019-10-08 15:57:15 +08:00 |
|
Yingfei Xiong
|
86ea10370c
|
minor
|
2019-10-07 23:29:24 +08:00 |
 dingbo
|
23d5120eec
|
20191007
|
2019-10-07 21:36:19 +08:00 |
|
Yingfei Xiong
|
bc4aadaddd
|
add the overview picture of programming languages
|
2019-10-07 17:47:29 +08:00 |
|
Zhenjiang
|
e904d3dfad
|
changed the chapter title
|
2019-10-07 15:18:06 +08:00 |
|
Zhenjiang
|
3881efb28f
|
section for reference is unnumbered.
|
2019-10-07 15:00:23 +08:00 |
|
Zhenjiang
|
2ba40183c9
|
Merge branch 'master' of http://git.trustie.net/XiongYingfei/software-strategy-book
|
2019-10-07 14:58:48 +08:00 |
 DESKTOP-JG33ADI\Yuting
|
445cb46a49
|
references
|
2019-10-07 14:20:28 +08:00 |
|
DESKTOP-JG33ADI\Yuting
|
5e85bc35b9
|
update the references
|
2019-10-07 14:09:51 +08:00 |
|
Zhenjiang
|
8f8d200da9
|
At the beginning of the chapter, we added an explanation about its relationship with Chapter II, showing how natural it is to consider new languages and new programming paradigms to cope with ubiqitous computing.
|
2019-10-05 18:40:44 +08:00 |
|
Xiaoxing Ma
|
cfecc5a502
|
删除这个文件。这个对照关系已经并入 README.md中。
|
2019-09-30 21:38:47 +08:00 |
|
Xiaoxing Ma
|
eb5385bc85
|
1. 找回并完善README.md; 2. 使用LaTeX自动索引。
|
2019-09-30 21:37:35 +08:00 |
|
Xiaoxing Ma
|
ec3cd307a5
|
minor fix to use roman pagenumbers for the front matter.
|
2019-09-30 20:57:18 +08:00 |
|
Xiaoxing Ma
|
39003135c6
|
minor fixes to make it compilable.
|
2019-09-30 17:21:03 +08:00 |
|
Xiaoxing Ma
|
40f05769ec
|
ignore aux files.
|
2019-09-30 16:20:01 +08:00 |
|
Xin Peng
|
bb98f905ba
|
minor revisions
|
2019-09-30 15:03:58 +08:00 |
|
Xin Peng
|
7532eae878
|
remove temp files
|
2019-09-30 14:59:04 +08:00 |
|
Xin Peng
|
f0a138b9d4
|
word to latex
|
2019-09-30 14:39:47 +08:00 |
|
Xiaoxing Ma
|
8af21c1333
|
迁移到Trustie
|
2019-09-28 22:11:37 +08:00 |