erlang/spec
2
0
Fork 0
mirror of https://github.com/erlang/spec.git synced 2026-04-17 10:23:53 +00:00
Code Issues Projects Releases Wiki Activity
11 Commits 1 Branch 0 Tags
a66ea048e4c9dd7615db4cf00a1a6ec2f933b45e
Commit Graph

11 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rickard Green
a66ea048e4 Merge pull request #2 from vinoski/pdf-default 
Build pdf by default
 2017-12-01 15:14:03 +01:00
Steve Vinoski
c105e6ef46 Build pdf by default 
Make the toplevel Makefile build erlang-spec.pdf by default. Building
erlang-spec.ps is still possible by specifying it as an explicit
target, i.e. "make erlang-spec.ps". Also, clean up the toplevel
Makefile rules and remove unnecessary constructs.
 2017-12-01 09:07:54 -05:00
Rickard Green
8324b216bc Merge branch 'rickard/erl-4.7.3' 
* rickard/erl-4.7.3:
  Make it build again
  Build 4.7.3 version instead of 5.0
 2017-12-01 14:22:41 +01:00
Rickard Green
45b474d8a0 Make it build again 2017-12-01 14:20:55 +01:00
Rickard Green
0922a72098 Build 4.7.3 version instead of 5.0 2017-12-01 12:27:33 +01:00
Rickard Green
eab27917ab Merge pull request #1 from rickard-green/rickard/readme 
Minor fix of the readme
 2017-11-30 15:10:17 +01:00
Rickard Green
ad5cbba44e Minor fix of the readme 2017-11-30 15:02:19 +01:00
Rickard Green
3e031831c0 Add LICENSE.txt 2017-11-30 12:25:40 +01:00
Rickard Green
ccc9128d84 Add a readme 2017-11-30 12:24:13 +01:00
Rickard Green
250d76180d Make it build 2017-11-29 16:23:19 +01:00
Rickard Green
9582ee3935 Original Erlang spec draft from 1999 2017-11-29 16:22:17 +01:00