Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
54 commits
Select commit Hold shift + click to select a range
6e54710
Rewrote example 2.3.4, per discussion with Eric
jhfung Feb 15, 2016
e5109ca
Fixed typos from last edit (example 2.3.4)
jhfung Feb 15, 2016
93d87bd
Still adding to example 2.3.4
jhfung Feb 16, 2016
f5f34cf
Had a question about periodified spectra
jhfung Feb 16, 2016
17b7f15
Fixed more typos in example 2.3.4
jhfung Feb 16, 2016
7a5c140
Finished reading 2.4.
jhfung Feb 18, 2016
55f72dd
Finished reading 2.5
jhfung Feb 20, 2016
27939af
Merge branch 'master' into edits-jhfung
ecpeterson Feb 26, 2016
7e90504
Merge branch 'edits-jhfung' of https://github.com/ecpeterson/FormalGe…
ecpeterson Feb 26, 2016
419901f
Merge pull request #8 from ecpeterson/master
ecpeterson Feb 26, 2016
7c59ab9
Finished reading 2.5, 3.1, 3.2
jhfung Feb 27, 2016
ff705c9
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Mar 2, 2016
4953ce4
Skimmed lecture 3.3 and 3.4?
jhfung Mar 2, 2016
c2fe515
Merge pull request #9 from ecpeterson/master
jhfung Mar 3, 2016
564ed9f
Merge remote-tracking branch 'origin/edits-jhfung' into edits-jhfung
jhfung Mar 3, 2016
4f868cb
Finished reading 3.4
jhfung Mar 3, 2016
76462fb
Finished reading 3.5
jhfung Mar 5, 2016
06e1e4f
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Mar 7, 2016
ff72acc
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Mar 7, 2016
def131e
Finished reading 3.6
jhfung Mar 8, 2016
238c35a
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Mar 10, 2016
4f097f1
Finished reading 3.7
jhfung Mar 10, 2016
16d8f81
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Mar 12, 2016
a94b954
Finished with 3.8
jhfung Mar 21, 2016
0cbcedf
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Mar 21, 2016
fcd8a74
Finished reading 4.1
jhfung Mar 23, 2016
8d10da1
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Mar 23, 2016
5ff1865
Finished reading 4.2.
jhfung Mar 23, 2016
c3ce845
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Mar 25, 2016
dc230b5
Finished reading 4.3 and a bit of 4.4
jhfung Mar 25, 2016
e34e7b5
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Mar 28, 2016
60c25a2
Finished reading 4.3 (again) and 4.4
jhfung Mar 29, 2016
b2d7cd0
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Apr 1, 2016
18e7381
Finished reading 4.5.
jhfung Apr 2, 2016
3a6b112
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Apr 4, 2016
935c304
Finished reading 4.6
jhfung Apr 6, 2016
120abda
Finished reading 4.7
jhfung Apr 6, 2016
1599cf4
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Apr 9, 2016
e059701
Finished reading 5.1
jhfung Apr 11, 2016
48768ac
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Apr 11, 2016
d91d68e
Finished reading 5.2
jhfung Apr 12, 2016
7b339bd
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Apr 13, 2016
e44cbeb
Finished reading 5.3
jhfung Apr 14, 2016
b5ac05d
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Apr 15, 2016
acbcc08
Finished reading 5.4
jhfung Apr 16, 2016
a956ce8
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Apr 18, 2016
a23be2f
Finished reading 5.5
jhfung Apr 19, 2016
bd77c51
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Apr 20, 2016
36aa0a8
Finished reading 5.6
jhfung Apr 21, 2016
49cec6d
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Apr 22, 2016
9666032
Finished reading 5.7
jhfung Apr 23, 2016
51621ed
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Apr 25, 2016
c2573ee
Finished reading 5.8
jhfung Apr 25, 2016
ceaef97
Merge remote-tracking branch 'refs/remotes/origin/master' into edits-…
jhfung Apr 27, 2016
File filter

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading